It is probably not the case that Lily is yellow. It is unlikely that Emily is a sheep. It is likely that Mary went to the hallway. It is probably the case that if 'Emily is a sheep' or 'Mary went to the hallway' or both then Julius is a rhino. It is probable that if 'Mary went to the hallway' or 'Emily is a sheep' or both then Brian is a lion. It is likely that if either 'Mary went to the hallway' or 'Lily is yellow' but not both then John got the milk.
It is highly unlikely that 'Mary went to the hallway' or 'Emily is a sheep' or both.
We believe that 'Mary went to the hallway' or 'Emily is a sheep' or both.
It is highly unlikely that 'Mary went to the hallway' or 'Emily is a sheep' 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.25::factA.
  0.2::factB.
  0.7::factC.
  %hop1
  0.7::factX:-or(factB,factC).
  0.7::factY:-or(factC,factB).
  0.7::factZ:-xor(factC,factA).

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

  query(conclusion).
  
'Mary went to the hallway' or 'Emily is a sheep' or both.