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