Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is nice. Anne is quiet. Anne is smart. Dave is blue. Dave is not cold. Dave is not nice. Dave is not smart. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is nice. If Harry is green and Harry is nice then Harry is blue. If someone is quiet then they are blue.
Dave is not furry.
@0: Anne is blue.[(triple1 OR ((triple6) -> rule2))] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is nice.[(triple5)] Anne is quiet.[(triple6)] Anne is smart.[(triple7)] Dave is blue.[(triple8)] Dave is not cold.[(triple9)] Dave is not nice.[(triple10)] Dave is not smart.[(triple11)] Harry is blue.[(triple12 OR ((triple15 triple16) -> rule1))] Harry is cold.[(triple13)] Harry is furry.[(triple14)] Harry is green.[(triple15)] Harry is nice.[(triple16)]