It is impossible that Fred is in the cinema. There is a better than even chance that Bernhard is green. Chances are slight that Brian is white. There is almost no chance that if 'Fred is in the cinema and Brian is white' then Lily is a frog. It is unlikely that if 'Fred is in the cinema and Bernhard is green' then Mary got the football. It is improbable that if 'Bernhard is green and Brian is white' then John went to the hallway.
It is impossible that 'Mary got the football and Fred is in the cinema'.
It is impossible that 'Mary got the football and Fred is in the cinema'.
It is certain that 'Mary got the football and Fred is in the cinema'.

  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.0::factA.
  0.6::factB.
  0.1::factC.
  %hop1
  0.02::factX:-and(factA,factC).
  0.2::factY:-and(factA,factB).
  0.1::factZ:-and(factB,factC).

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

  query(conclusion).
  
'Mary got the football and Fred is in the cinema'.