Erin is cold. Erin is furry. Erin is green. Erin is quiet. Erin is rough. Erin is smart. Erin is white. Harry is furry. Harry is green. Harry is quiet. Harry is rough. Harry is white. Quiet things are smart. If something is smart then it is cold.
Erin is not quiet.
@0: Erin is cold.[(triple1 OR ((triple6) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is quiet.[(triple4)] Erin is rough.[(triple5)] Erin is smart.[(triple6 OR ((triple4) -> rule1))] Erin is white.[(triple7)] Harry is furry.[(triple8)] Harry is green.[(triple9)] Harry is quiet.[(triple10)] Harry is rough.[(triple11)] Harry is white.[(triple12)] @1: Harry is smart.[(((triple10) -> rule1))] @2: Harry is cold.[(((((triple10) -> rule1)) -> rule2))]