Dave is blue. Dave is cold. Dave is furry. Dave is green. Dave is not nice. Dave is round. Dave is smart. Erin is not blue. Erin is cold. Erin is furry. Erin is not green. Erin is smart. Harry is furry. Harry is green. Harry is round. Blue, cold things are green. If something is furry and not nice then it is blue. If Harry is cold and Harry is furry then Harry is green. If Dave is not blue then Dave is smart. If something is furry and not green then it is smart. Cold things are smart. Round things are smart. If something is round and nice then it is not smart.
Harry is not blue.
@0: Dave is blue.[(triple1 OR ((triple3 triple5) -> rule2))] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is green.[(triple4 OR ((triple1 triple2) -> rule1) OR ((((triple3 triple5) -> rule2) triple2) -> rule1))] Dave is not nice.[(triple5)] Dave is round.[(triple6)] Dave is smart.[(triple7 OR ((triple2) -> rule6) OR ((triple6) -> rule7))] Erin is cold.[(triple9)] Erin is furry.[(triple10)] Erin is not blue.[(triple8)] Erin is not green.[(triple11)] Erin is smart.[(triple12 OR ((triple9) -> rule6) OR ((triple10 triple11) -> rule5))] Harry is furry.[(triple13)] Harry is green.[(triple14)] Harry is round.[(triple15)] @1: Harry is smart.[(((triple15) -> rule7))]