It is probably the case that John left the football. There is little chance that Brian is yellow. It is highly likely that Mary went to the kitchen. There is a better than even chance that if 'Brian is yellow and John left the football' then Antoine is thirsty. It is probably not the case that if 'Mary went to the kitchen' or 'Brian is yellow' or both then Greg is a lion. It is probable that if 'Mary went to the kitchen' or 'John left the football' or both then Daniel dropped the apple.
It is highly likely that 'Mary went to the kitchen' or 'Brian is yellow' or both.
It is highly likely that 'Mary went to the kitchen' or 'Brian is yellow' or both.
It is highly unlikely that 'Mary went to the kitchen' or 'Brian is yellow' 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.9::factC.
  %hop1
  0.6::factX:-and(factB,factA).
  0.25::factY:-or(factC,factB).
  0.7::factZ:-or(factC,factA).

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

  query(conclusion).
  
'Mary went to the kitchen' or 'Brian is yellow' or both.