There is a better than even chance that John got the apple. It is likely that Lily is a frog. There is a very good chance that Mary discarded the milk. There is almost no chance that if 'John got the apple and Lily is a frog' then Greg is a swan. There is a better than even chance that if 'Lily is a frog' or 'Mary discarded the milk' or both then Jeff moved to the office. We doubt that if either 'Lily is a frog' or 'John got the apple' but not both then Brian is gray.
It is almost certain that 'John got the apple and Jeff moved to the office'.
It is probably not the case that 'John got the apple and Jeff moved to the office'.
It is almost certain that 'John got the apple and Jeff moved to the office'.

  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.6::factA.
  0.7::factB.
  0.8::factC.
  %hop1
  0.02::factX:-and(factA,factB).
  0.6::factY:-or(factB,factC).
  0.2::factZ:-xor(factB,factA).

  %hop2
  conclusion:-and(factA,factY).

  query(conclusion).
  
'John got the apple and Jeff moved to the office'.