Anne is big. Anne is cold. Anne is furry. Anne is nice. Anne is smart. Dave is cold. Dave is kind. Dave is quiet. Dave is smart. Harry is cold. If someone is nice and furry then they are smart. If someone is nice and quiet then they are cold. Quiet people are smart. Smart, cold people are nice. If someone is big then they are smart. If someone is big then they are nice.
Harry is not smart.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is nice.[(triple4 OR ((triple1) -> rule6) OR ((triple5 triple2) -> rule4) OR ((((triple1) -> rule5) triple2) -> rule4))] Anne is smart.[(triple5 OR ((triple1) -> rule5) OR ((triple4 triple3) -> rule1) OR ((((triple1) -> rule6) triple3) -> rule1))] Dave is cold.[(triple6)] Dave is kind.[(triple7)] Dave is quiet.[(triple8)] Dave is smart.[(triple9 OR ((triple8) -> rule3))] Harry is cold.[(triple10)] @1: Dave is nice.[(((triple9 triple6) -> rule4) OR ((((triple8) -> rule3) triple6) -> rule4))]