There is a better than even chance that Brian is a frog. It is probably the case that Bernhard is green. It is impossible that Greg is a lion. It is improbable that if 'Greg is a lion and Bernhard is green' then Daniel dropped the milk. There is a very good chance that if 'Brian is a frog and Bernhard is green' then Fred went to the garden. It is probable that if either 'Bernhard is green' or 'Brian is a frog' but not both then Lily is a rhino.
It is impossible that 'Daniel dropped the milk and Fred went to the garden'.
It is impossible that 'Daniel dropped the milk and Fred went to the garden'.
It is probably the case that 'Daniel dropped the milk and Fred went to the garden'.

  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.7::factB.
  0.0::factC.
  %hop1
  0.1::factX:-and(factC,factB).
  0.8::factY:-and(factA,factB).
  0.7::factZ:-xor(factB,factA).

  %hop2
  conclusion:-and(factX,factY).

  query(conclusion).
  
'Daniel dropped the milk and Fred went to the garden'.