Bob is big. Bob is red. Gary is big. Gary is cold. Gary is red. Harry is blue. Harry is quiet. Blue things are red. If something is big then it is red. All blue, quiet things are big. All nice things are cold. Big things are nice. All blue things are not green. If something is green and red then it is not quiet. Green things are blue.
Bob is quiet.
@0: Bob is big.[(triple1)] Bob is red.[(triple2 OR ((triple1) -> rule2))] Gary is big.[(triple3)] Gary is cold.[(triple4 OR ((((triple3) -> rule5)) -> rule4))] Gary is red.[(triple5 OR ((triple3) -> rule2))] Harry is blue.[(triple6)] Harry is quiet.[(triple7)] @1: Bob is nice.[(((triple1) -> rule5))] Gary is nice.[(((triple3) -> rule5))] Harry is big.[(((triple6 triple7) -> rule3))] Harry is not green.[(((triple6) -> rule6))] Harry is red.[(((triple6) -> rule1) OR ((((triple6 triple7) -> rule3)) -> rule2))] @2: Bob is cold.[(((((triple1) -> rule5)) -> rule4))] Harry is nice.[(((((triple6 triple7) -> rule3)) -> rule5))] @3: Harry is cold.[(((((((triple6 triple7) -> rule3)) -> rule5)) -> rule4))]