Dave is smart. Erin is smart. Gary is quiet. Harry is rough. All quiet people are young. If Gary is rough then Gary is quiet. If Dave is young and Dave is quiet then Dave is rough. Smart, young people are furry. Furry people are blue. Quiet people are smart.
Erin is not young.
@0: Dave is smart.[(triple1)] Erin is smart.[(triple2)] Gary is quiet.[(triple3)] Harry is rough.[(triple4)] @1: Gary is smart.[(((triple3) -> rule6))] Gary is young.[(((triple3) -> rule1))] @2: Gary is furry.[(((((triple3) -> rule6) ((triple3) -> rule1)) -> rule4))] @3: Gary is blue.[(((((((triple3) -> rule6) ((triple3) -> rule1)) -> rule4)) -> rule5))]