Charlie is young. Erin is blue. Gary is young. Harry is young. If Gary is round then Gary is nice. Round people are cold. If someone is round then they are white. Young people are round. Kind people are round. White people are nice.
Erin is blue.
@0: Charlie is young.[(triple1)] Erin is blue.[(triple2)] Gary is young.[(triple3)] Harry is young.[(triple4)] @1: Charlie is round.[(((triple1) -> rule4))] Gary is round.[(((triple3) -> rule4))] Harry is round.[(((triple4) -> rule4))] @2: Charlie is cold.[(((((triple1) -> rule4)) -> rule2))] Charlie is white.[(((((triple1) -> rule4)) -> rule3))] Gary is cold.[(((((triple3) -> rule4)) -> rule2))] Gary is nice.[(((((triple3) -> rule4)) -> rule1) OR ((((((triple3) -> rule4)) -> rule3)) -> rule6))] Gary is white.[(((((triple3) -> rule4)) -> rule3))] Harry is cold.[(((((triple4) -> rule4)) -> rule2))] Harry is white.[(((((triple4) -> rule4)) -> rule3))] @3: Charlie is nice.[(((((((triple1) -> rule4)) -> rule3)) -> rule6))] Harry is nice.[(((((((triple4) -> rule4)) -> rule3)) -> rule6))]