Anne is cold. Anne is furry. Anne is green. Anne is rough. Anne is round. Dave is cold. Dave is not green. Dave is not nice. Dave is rough. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is rough. Harry is round. If Dave is furry then Dave is rough. If Harry is rough and Harry is furry then Harry is not nice. If Anne is round and Anne is rough then Anne is kind.
Dave is not kind.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Dave is cold.[(triple6)] Dave is not green.[(triple7)] Dave is not nice.[(triple8)] Dave is rough.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is green.[(triple12)] Harry is kind.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15)] @1: Anne is kind.[(((triple5 triple4) -> rule3))] Harry is not nice.[(((triple14 triple11) -> rule2))]