Charlie is blue. Erin is rough. Harry is not rough. If Harry is young and Harry is big then Harry is not green. Blue people are young. All red people are big. Blue people are red. If Erin is green and Erin is cold then Erin is not young. If someone is red then they are rough. If someone is blue and not big then they are rough. Big, rough people are cold.
Charlie is cold.
@0: Charlie is blue.[(triple1)] Erin is rough.[(triple2)] Harry is not rough.[(triple3)] @1: Charlie is red.[(((triple1) -> rule4))] Charlie is young.[(((triple1) -> rule2))] @2: Charlie is big.[(((((triple1) -> rule4)) -> rule3))] Charlie is rough.[(((((triple1) -> rule4)) -> rule6))] @3: Charlie is cold.[(((((((triple1) -> rule4)) -> rule3) ((((triple1) -> rule4)) -> rule6)) -> rule8))]