It is probably the case that John took the football. It is highly unlikely that Emily is a sheep. It is probable that Greg is yellow. It is likely that if 'Greg is yellow and Emily is a sheep' then Lily is a rhino. It is probable that if 'Emily is a sheep' or 'John took the football' or both then Jeff left the football. It is probable that if either 'John took the football' or 'Greg is yellow' but not both then Brian is a swan.
There is almost no chance that 'John took the football and Lily is a rhino'.
There is almost no chance that 'John took the football and Lily is a rhino'.
There is a better than even chance that 'John took the football and Lily is a rhino'.

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

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

  query(conclusion).
  
'John took the football and Lily is a rhino'.