It is highly unlikely that Brian is green. It is probably the case that Bernhard is white. It is unlikely that Greg is a rhino. It is almost certain that if 'Brian is green' or 'Greg is a rhino' or both then Jeff discarded the milk. It is likely that if 'Bernhard is white and Brian is green' then Sandra got the football. It is highly unlikely that if 'Bernhard is white' or 'Greg is a rhino' or both then Mary dropped the apple.
It is probable that 'Mary dropped the apple and Bernhard is white'.
It is highly unlikely that 'Mary dropped the apple and Bernhard is white'.
It is probable that 'Mary dropped the apple and Bernhard is white'.

  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.7::factB.
  0.2::factC.
  %hop1
  0.95::factX:-or(factA,factC).
  0.7::factY:-and(factB,factA).
  0.05::factZ:-or(factB,factC).

  %hop2
  conclusion:-and(factZ,factB).

  query(conclusion).
  
'Mary dropped the apple and Bernhard is white'.