It is probable that Brian is green. There is a better than even chance that Mary went to the hallway. It is likely that Julius is white. It is unlikely that if 'Brian is green' or 'Julius is white' or both then Bernhard is a frog. There is a very good chance that if either 'Mary went to the hallway' or 'Brian is green' but not both then Daniel took the milk. It is unlikely that if 'Mary went to the hallway and Julius is white' then Sandra left the football.
It is certain that 'Bernhard is a frog and Brian is green'.
Chances are slight that 'Bernhard is a frog and Brian is green'.
It is certain that 'Bernhard is a frog and Brian is green'.

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

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

  query(conclusion).
  
'Bernhard is a frog and Brian is green'.