things

(conclusions "<[smart] --> [bright]>." "[bright].")
=>
#{{:statement [<|> [[int-set bright]] [--> [int-set smart] [int-set bright]]],
   :task-type :belief,
   :occurrence 0,
   :truth [1.0 0.44751381215469616]}
  {:statement [=|> [[int-set bright]] [--> [int-set smart] [int-set bright]]],
   :task-type :belief,
   :occurrence 0,
   :truth [1.0 0.44751381215469616]}
  {:statement [=|> [--> [int-set smart] [int-set bright]] [[int-set bright]]],
   :task-type :belief,
   :occurrence 0,
   :truth [1.0 0.44751381215469616]}
  {:statement [&| [[int-set bright]] [--> [int-set smart] [int-set bright]]],
   :task-type :belief,
   :occurrence 0,
   :truth [1.0 0.81]}}