It is certain that Mary moved to the office. It is probably the case that John took the football. There is a better than even chance that Bernhard is gray. It is highly likely that if 'John took the football and Mary moved to the office' then Daniel dropped the apple. There is a better than even chance that if 'Bernhard is gray' or 'Mary moved to the office' or both then Julius is a lion. It is certain that if 'Bernhard is gray and John took the football' then Greg is a rhino.
It is highly unlikely that 'John took the football and Mary moved to the office'.
It is likely that 'John took the football and Mary moved to the office'.
It is highly unlikely that 'John took the football and Mary 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
  1.0::factA.
  0.7::factB.
  0.6::factC.
  %hop1
  0.9::factX:-and(factB,factA).
  0.6::factY:-or(factC,factA).
  1.0::factZ:-and(factC,factB).

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

  query(conclusion).
  
'John took the football and Mary moved to the office'.