Erin is cold. Erin is not quiet. Erin is not young. White things are young. All young, green things are furry. Green things are furry. If something is cold and not quiet then it is green. If Erin is quiet then Erin is not furry. If something is cold and not green then it is not smart. Furry things are smart. If something is furry and not cold then it is smart.
Erin is cold.
@0: Erin is cold.[(triple1)] Erin is not quiet.[(triple2)] Erin is not young.[(triple3)] @1: Erin is green.[(((triple1 triple2) -> rule4))] @2: Erin is furry.[(((((triple1 triple2) -> rule4)) -> rule3))] @3: Erin is smart.[(((((((triple1 triple2) -> rule4)) -> rule3)) -> rule7))]