Erin is rough. If something is cold then it is not smart. If something is big and rough then it is smart. Rough things are cold. All rough things are white. All smart things are quiet. Rough, big things are furry. If Erin is cold then Erin is white. If Erin is not cold then Erin is not white.
Erin is not furry.
@0: Erin is rough.[(triple1)] @1: Erin is cold.[(((triple1) -> rule3))] Erin is white.[(((triple1) -> rule4) OR ((((triple1) -> rule3)) -> rule7))] @2: Erin is not smart.[(((((triple1) -> rule3)) -> rule1))]