It is probably the case that Jeff moved to the office. There is little chance that John left the milk. It is impossible that Bernhard is green. It is certain that if 'Bernhard is green and Jeff moved to the office' then Julius is a lion. We doubt that if 'Bernhard is green' or 'John left the milk' or both then Lily is green. We doubt that if 'Bernhard is green and Jeff moved to the office' then Sumit is hungry.
We believe that 'John left the milk' or 'Jeff moved to the office' or both.
We believe that 'John left the milk' or 'Jeff moved to the office' or both.
There is almost no chance that 'John left the milk' or 'Jeff moved to the office' or both.

  and(A,B) :- A,B.
  or(A,B) :- A;B.
  nand(A,B) :- not(and(A,B)).
  nor(A,B) :- not(or(A,B)).
  xor(A,B) :- or(A,B), nand(A,B).

  %hop0
  0.7::factA.
  0.1::factB.
  0.0::factC.
  %hop1
  1.0::factX:-and(factC,factA).
  0.2::factY:-or(factC,factB).
  0.2::factZ:-and(factC,factA).

  %hop2
  conclusion:-or(factB,factA).

  query(conclusion).
  
'John left the milk' or 'Jeff moved to the office' or both.