Anne is furry. Erin is smart. Harry is not rough. Rough, furry people are cold. If someone is round and furry then they are rough. If someone is furry then they are rough. All cold people are smart. If someone is round and not green then they are smart. If Harry is green then Harry is furry.
Anne is not smart.
@0: Anne is furry.[(triple1)] Erin is smart.[(triple2)] Harry is not rough.[(triple3)] @1: Anne is rough.[(((triple1) -> rule3))] @2: Anne is cold.[(((((triple1) -> rule3) triple1) -> rule1))] @3: Anne is smart.[(((((((triple1) -> rule3) triple1) -> rule1)) -> rule4))]