Charlie is white. Erin is big. Erin is cold. Erin is white. Gary is blue. Gary is cold. Gary is white. Harry is big. Harry is cold. Harry is furry. Big, blue things are cold. If something is white then it is blue. Blue, white things are cold.
Charlie is white.
@0: Charlie is white.[(triple1)] Erin is big.[(triple2)] Erin is cold.[(triple3 OR ((triple2 ((triple4) -> rule2)) -> rule1) OR ((((triple4) -> rule2) triple4) -> rule3))] Erin is white.[(triple4)] Gary is blue.[(triple5 OR ((triple7) -> rule2))] Gary is cold.[(triple6 OR ((triple5 triple7) -> rule3) OR ((((triple7) -> rule2) triple7) -> rule3))] Gary is white.[(triple7)] Harry is big.[(triple8)] Harry is cold.[(triple9)] Harry is furry.[(triple10)] @1: Charlie is blue.[(((triple1) -> rule2))] Erin is blue.[(((triple4) -> rule2))] @2: Charlie is cold.[(((((triple1) -> rule2) triple1) -> rule3))]