It is impossible that Lily is white. It is probably not the case that Sandra got the football. It is highly unlikely that Greg is a swan. It is likely that if 'Lily is white and Sandra got the football' then Brian is a lion. It is likely that if 'Lily is white and Sandra got the football' then Mary went to the hallway. There is a very good chance that if 'Greg is a swan' or 'Lily is white' or both then John discarded the milk.
It is likely that 'Lily is white' or 'Mary went to the hallway' or both.
It is impossible that 'Lily is white' or 'Mary went to the hallway' or both.
It is likely that 'Lily is white' or 'Mary 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.0::factA.
  0.25::factB.
  0.05::factC.
  %hop1
  0.7::factX:-and(factA,factB).
  0.7::factY:-and(factA,factB).
  0.8::factZ:-or(factC,factA).

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

  query(conclusion).
  
'Lily is white' or 'Mary went to the hallway' or both.