Charlie is not cold. Charlie is nice. Charlie is red. Charlie is rough. Charlie is white. Erin is cold. Erin is red. Smart, red people are rough. Cold people are smart.
Erin is not smart.
@0: Charlie is nice.[(triple2)] Charlie is not cold.[(triple1)] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Charlie is white.[(triple5)] Erin is cold.[(triple6)] Erin is red.[(triple7)] @1: Erin is smart.[(((triple6) -> rule2))] @2: Erin is rough.[(((((triple6) -> rule2) triple7) -> rule1))]