Erin is young. Quiet things are young. All big things are rough. If something is young and quiet then it is not big. Young things are quiet. All big things are quiet. If something is quiet and not big then it is cold. If something is quiet and not white then it is cold. If Erin is not cold then Erin is rough.
Erin is young.
@0: Erin is young.[(triple1)] @1: Erin is quiet.[(((triple1) -> rule4))] @2: Erin is not big.[(((triple1 ((triple1) -> rule4)) -> rule3))] @3: Erin is cold.[(((((triple1) -> rule4) ((triple1 ((triple1) -> rule4)) -> rule3)) -> rule6))]