It is highly unlikely that Julius is a rhino. It is almost certain that Bernhard is green. It is probable that Mary went to the office. It is impossible that if 'Mary went to the office and Julius is a rhino' then Daniel got the football. It is likely that if 'Julius is a rhino and Bernhard is green' then Fred dropped the milk. There is almost no chance that if 'Julius is a rhino and Mary went to the office' then Greg is gray.
It is probably the case that 'Daniel got the football' or 'Mary went to the office' or both.
It is probably the case that 'Daniel got the football' or 'Mary went to the office' or both.
It is unlikely that 'Daniel got the football' or 'Mary went to the office' 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.95::factB.
  0.7::factC.
  %hop1
  0.0::factX:-and(factC,factA).
  0.7::factY:-and(factA,factB).
  0.02::factZ:-and(factA,factC).

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

  query(conclusion).
  
'Daniel got the football' or 'Mary went to the office' or both.