Dave is quiet. Gary is white. All nice people are quiet. White people are big. If someone is quiet then they are blue. All big people are nice. If someone is big then they are nice. If someone is round then they are quiet.
Gary is quiet.
@0: Dave is quiet.[(triple1)] Gary is white.[(triple2)] @1: Dave is blue.[(((triple1) -> rule3))] Gary is big.[(((triple2) -> rule2))] @2: Gary is nice.[(((((triple2) -> rule2)) -> rule4) OR ((((triple2) -> rule2)) -> rule5))] @3: Gary is quiet.[(((((((triple2) -> rule2)) -> rule4)) -> rule1) OR ((((((triple2) -> rule2)) -> rule5)) -> rule1))] @4: Gary is blue.[(((((((((triple2) -> rule2)) -> rule4)) -> rule1)) -> rule3) OR ((((((((triple2) -> rule2)) -> rule5)) -> rule1)) -> rule3))]