Anne is furry. Anne is kind. Anne is nice. Anne is red. Anne is not rough. Anne is smart. Anne is young. Harry is kind. Harry is nice. Harry is rough. Harry is smart. Harry is young. If Harry is nice and Harry is not young then Harry is kind. If someone is kind and nice then they are red. If someone is smart then they are nice. If Harry is smart then Harry is red. All rough people are smart. If Harry is not furry then Harry is smart.
Harry is not young.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3 OR ((triple6) -> rule3))] Anne is not rough.[(triple5)] Anne is red.[(triple4 OR ((triple2 triple3) -> rule2) OR ((triple2 ((triple6) -> rule3)) -> rule2))] Anne is smart.[(triple6)] Anne is young.[(triple7)] Harry is kind.[(triple8)] Harry is nice.[(triple9 OR ((triple11) -> rule3) OR ((((triple10) -> rule5)) -> rule3))] Harry is rough.[(triple10)] Harry is smart.[(triple11 OR ((triple10) -> rule5))] Harry is young.[(triple12)] @1: Harry is red.[(((triple11) -> rule4) OR ((triple8 triple9) -> rule2) OR ((((triple10) -> rule5)) -> rule4) OR ((triple8 ((triple11) -> rule3)) -> rule2) OR ((triple8 ((((triple10) -> rule5)) -> rule3)) -> rule2))]