Bob is not cold. Bob is furry. Bob is red. Bob is not smart. Gary is blue. Gary is furry. Gary is red. If Gary is cold then Gary is green. If something is green then it is not quiet. Blue, red things are cold. If Bob is quiet and Bob is cold then Bob is not red. Furry things are red. If something is red and quiet then it is furry.
Gary is not green.
@0: Bob is furry.[(triple2)] Bob is not cold.[(triple1)] Bob is not smart.[(triple4)] Bob is red.[(triple3 OR ((triple2) -> rule5))] Gary is blue.[(triple5)] Gary is furry.[(triple6)] Gary is red.[(triple7 OR ((triple6) -> rule5))] @1: Gary is cold.[(((triple5 triple7) -> rule3) OR ((triple5 ((triple6) -> rule5)) -> rule3))] @2: Gary is green.[(((((triple5 triple7) -> rule3)) -> rule1) OR ((((triple5 ((triple6) -> rule5)) -> rule3)) -> rule1))] @3: Gary is not quiet.[(((((((triple5 triple7) -> rule3)) -> rule1)) -> rule2) OR ((((((triple5 ((triple6) -> rule5)) -> rule3)) -> rule1)) -> rule2))]