Erin is rough. Gary is smart. All green things are rough. If Gary is red then Gary is green. All smart things are cold. Rough, smart things are green. If Erin is red and Erin is young then Erin is cold. If something is quiet then it is green.
Erin is not rough.
@0: Erin is rough.[(triple1)] Gary is smart.[(triple2)] @1: Gary is cold.[(((triple2) -> rule3))]