Erin is young. All cold, big things are quiet. All green, big things are quiet. If something is young then it is furry. If something is big and quiet then it is young. Young, quiet things are green. If Erin is young and Erin is cold then Erin is rough.
Erin is not quiet.
@0: Erin is young.[(triple1)] @1: Erin is furry.[(((triple1) -> rule3))]