We doubt that Brian is a rhino. It is highly likely that Mary went to the hallway. It is almost certain that Winona is a mouse. There is a better than even chance that if either 'Brian is a rhino' or 'Winona is a mouse' but not both then Julius is a frog. There is almost no chance that if either 'Winona is a mouse' or 'Brian is a rhino' but not both then John took the football. It is highly unlikely that if 'Brian is a rhino' or 'Mary went to the hallway' or both then Antoine is thirsty.
It is probably the case that 'Antoine is thirsty and Mary went to the hallway'.
It is highly unlikely that 'Antoine is thirsty and Mary went to the hallway'.
It is probably the case that 'Antoine is thirsty and Mary went to the hallway'.

  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.2::factA.
  0.9::factB.
  0.95::factC.
  %hop1
  0.6::factX:-xor(factA,factC).
  0.02::factY:-xor(factC,factA).
  0.05::factZ:-or(factA,factB).

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

  query(conclusion).
  
'Antoine is thirsty and Mary went to the hallway'.