It is highly unlikely that Brian is a frog. It is highly unlikely that Mary got the football. It is probably the case that Julius is gray. It is impossible that if 'Brian is a frog and Mary got the football' then John went to the hallway. It is likely that if either 'Mary got the football' or 'Julius is gray' but not both then Lily is a swan. There is a better than even chance that if 'Mary got the football and Julius is gray' then Sandra put down the milk.
It is probably the case that 'Mary got the football' or 'Julius is gray' or both.
It is probably the case that 'Mary got the football' or 'Julius is gray' or both.
It is unlikely that 'Mary got the football' or 'Julius is gray' 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.05::factA.
  0.05::factB.
  0.7::factC.
  %hop1
  0.0::factX:-and(factA,factB).
  0.7::factY:-xor(factB,factC).
  0.6::factZ:-and(factB,factC).

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

  query(conclusion).
  
'Mary got the football' or 'Julius is gray' or both.