Anne is rough. Charlie is quiet. Erin is rough. Gary is cold. If someone is young then they are smart. Cold people are smart.
Erin is not rough.
@0: Anne is rough.[(triple1)] Charlie is quiet.[(triple2)] Erin is rough.[(triple3)] Gary is cold.[(triple4)] @1: Gary is smart.[(((triple4) -> rule2))]