Anne is white. Charlie is cold. Erin is rough. Gary is red. If Anne is cold then Anne is rough. If Gary is smart and Gary is rough then Gary is quiet. Rough, quiet people are smart. All rough people are smart. All white, cold people are young. All smart people are rough. If Charlie is cold then Charlie is quiet. Cold people are smart.
Anne is not young.
@0: Anne is white.[(triple1)] Charlie is cold.[(triple2)] Erin is rough.[(triple3)] Gary is red.[(triple4)] @1: Charlie is quiet.[(((triple2) -> rule7))] Charlie is smart.[(((triple2) -> rule8))] Erin is smart.[(((triple3) -> rule4))] @2: Charlie is rough.[(((((triple2) -> rule8)) -> rule6))]