There is a better than even chance that Brian is a frog. Chances are about even that Jeff moved to the garden. There is almost no chance that Sandra took the football. Chances are about even that if 'Sandra took the football and Jeff moved to the garden' then Julius is a swan. It is almost certain that if 'Sandra took the football' or 'Jeff moved to the garden' or both then Greg is a swan. It is likely that if 'Brian is a frog' or 'Jeff moved to the garden' or both then Mary went to the hallway.
There is a better than even chance that 'Mary went to the hallway' or 'Julius is a swan' or both.
There is a better than even chance that 'Mary went to the hallway' or 'Julius is a swan' or both.
There is almost no chance that 'Mary went to the hallway' or 'Julius is a swan' 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.6::factA.
  0.5::factB.
  0.02::factC.
  %hop1
  0.5::factX:-and(factC,factB).
  0.95::factY:-or(factC,factB).
  0.7::factZ:-or(factA,factB).

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

  query(conclusion).
  
'Mary went to the hallway' or 'Julius is a swan' or both.