Erin is quiet. Gary is kind. Gary is young. All quiet, big people are cold. All young people are rough. If someone is smart and big then they are cold. All rough, big people are smart. If Gary is quiet and Gary is rough then Gary is young. All cold, rough people are smart. If Gary is rough then Gary is smart. Big people are rough.
Erin is quiet.
@0: Erin is quiet.[(triple1)] Gary is kind.[(triple2)] Gary is young.[(triple3)] @1: Gary is rough.[(((triple3) -> rule2))] @2: Gary is smart.[(((((triple3) -> rule2)) -> rule7))]