There is a very good chance that Mary went to the garden. Chances are slight that Lily is a rhino. Chances are slight that Brian is yellow. We believe that if 'Lily is a rhino' or 'Brian is yellow' or both then Greg is white. It is highly likely that if 'Lily is a rhino' or 'Mary went to the garden' or both then Julius is a frog. It is impossible that if either 'Lily is a rhino' or 'Brian is yellow' but not both then Jason is tired.
It is improbable that 'Brian is yellow and Mary went to the garden'.
It is improbable that 'Brian is yellow and Mary went to the garden'.
It is highly likely that 'Brian is yellow and Mary 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.8::factA.
  0.1::factB.
  0.1::factC.
  %hop1
  0.75::factX:-or(factB,factC).
  0.9::factY:-or(factB,factA).
  0.0::factZ:-xor(factB,factC).

  %hop2
  conclusion:-and(factC,factA).

  query(conclusion).
  
'Brian is yellow and Mary went to the garden'.