Bob is big. Charlie is blue. Gary is nice. Harry is kind. If someone is blue and big then they are cold. Quiet people are nice. Blue people are cold. All cold people are green. All cold, green people are nice. If someone is nice then they are blue.
Gary is quiet.
@0: Bob is big.[(triple1)] Charlie is blue.[(triple2)] Gary is nice.[(triple3)] Harry is kind.[(triple4)] @1: Charlie is cold.[(((triple2) -> rule3))] Gary is blue.[(((triple3) -> rule6))] @2: Charlie is green.[(((((triple2) -> rule3)) -> rule4))] Gary is cold.[(((((triple3) -> rule6)) -> rule3))] @3: Charlie is nice.[(((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule4)) -> rule5))] Gary is green.[(((((((triple3) -> rule6)) -> rule3)) -> rule4))]