It is probably not the case that Fred went to the garden. It is likely that Brian is green. It is unlikely that Jeff discarded the milk. It is certain that if 'Jeff discarded the milk and Fred went to the garden' then John moved to the office. We doubt that if 'Fred went to the garden' or 'Jeff discarded the milk' or both then Emily is a wolf. We doubt that if either 'Fred went to the garden' or 'Jeff discarded the milk' but not both then Julius is a lion.
We believe that 'Brian is green' or 'Fred went to the garden' or both.
We believe that 'Brian is green' or 'Fred went to the garden' or both.
We doubt that 'Brian is green' or 'Fred went to the garden' or both.

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

  %hop2
  conclusion:-or(factB,factA).

  query(conclusion).
  
'Brian is green' or 'Fred went to the garden' or both.