Anne is cold. Anne is furry. Anne is green. Anne is quiet. Anne is red. Anne is smart. Anne is white. Harry is furry. Harry is green. Harry is red. Harry is smart. Harry is white. All quiet things are smart. If Harry is furry and Harry is white then Harry is red. If something is cold then it is furry. If something is smart and furry then it is quiet. If something is quiet and cold then it is furry. If Harry is smart and Harry is quiet then Harry is cold.
Harry is green.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple1) -> rule3) OR ((triple4 triple1) -> rule5))] Anne is green.[(triple3)] Anne is quiet.[(triple4 OR ((triple6 triple2) -> rule4) OR ((triple6 ((triple1) -> rule3)) -> rule4))] Anne is red.[(triple5)] Anne is smart.[(triple6 OR ((triple4) -> rule1))] Anne is white.[(triple7)] Harry is furry.[(triple8)] Harry is green.[(triple9)] Harry is red.[(triple10 OR ((triple8 triple12) -> rule2))] Harry is smart.[(triple11)] Harry is white.[(triple12)] @1: Harry is quiet.[(((triple11 triple8) -> rule4))] @2: Harry is cold.[(((triple11 ((triple11 triple8) -> rule4)) -> rule6))]