It is probably the case that Greg is white. It is probably not the case that Winona is a mouse. It is unlikely that Mary left the football. It is almost certain that if either 'Greg is white' or 'Mary left the football' but not both then Sandra is in the kitchen. We believe that if 'Greg is white' or 'Winona is a mouse' or both then Lily is yellow. There is a better than even chance that if 'Greg is white and Winona is a mouse' then John went to the hallway.
It is likely that 'Winona is a mouse' or 'John went to the hallway' or both.
It is probably not the case that 'Winona is a mouse' or 'John went to the hallway' or both.
It is likely that 'Winona is a mouse' or 'John went to the hallway' 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.25::factB.
  0.2::factC.
  %hop1
  0.95::factX:-xor(factA,factC).
  0.75::factY:-or(factA,factB).
  0.6::factZ:-and(factA,factB).

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

  query(conclusion).
  
'Winona is a mouse' or 'John went to the hallway' or both.