Anne is furry. Anne is nice. Anne is round. Anne is not smart. Dave is not nice. Gary is blue. Gary is not green. Gary is round. Gary is smart. Harry is furry. Harry is not green. Harry is nice. Harry is not round. Harry is smart. Harry is young. If Gary is not furry then Gary is nice. If Harry is young then Harry is furry.
Anne is green.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is not smart.[(triple4)] Anne is round.[(triple3)] Dave is not nice.[(triple5)] Gary is blue.[(triple6)] Gary is not green.[(triple7)] Gary is round.[(triple8)] Gary is smart.[(triple9)] Harry is furry.[(triple10 OR ((triple15) -> rule2))] Harry is nice.[(triple12)] Harry is not green.[(triple11)] Harry is not round.[(triple13)] Harry is smart.[(triple14)] Harry is young.[(triple15)]