Charlie is nice. Erin is white. Gary is blue. If something is young then it is big. If Erin is green then Erin is nice. Big, white things are nice. If Erin is big and Erin is green then Erin is cold. If Erin is white then Erin is big. If something is blue then it is young.
Charlie is not young.
@0: Charlie is nice.[(triple1)] Erin is white.[(triple2)] Gary is blue.[(triple3)] @1: Erin is big.[(((triple2) -> rule5))] Gary is young.[(((triple3) -> rule6))] @2: Erin is nice.[(((((triple2) -> rule5) triple2) -> rule3))] Gary is big.[(((((triple3) -> rule6)) -> rule1))]