Anne is big. Anne is furry. Anne is nice. Anne is red. Anne is not round. Anne is smart. Anne is not young. Bob is not big. Bob is nice. Bob is red. Bob is not round. Bob is smart. Harry is big. Harry is red. Harry is round. Harry is not smart. If Bob is not young then Bob is not big. All red people are furry.
Anne is furry.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple4) -> rule2))] Anne is nice.[(triple3)] Anne is not round.[(triple5)] Anne is not young.[(triple7)] Anne is red.[(triple4)] Anne is smart.[(triple6)] Bob is nice.[(triple9)] Bob is not big.[(triple8)] Bob is not round.[(triple11)] Bob is red.[(triple10)] Bob is smart.[(triple12)] Harry is big.[(triple13)] Harry is not smart.[(triple16)] Harry is red.[(triple14)] Harry is round.[(triple15)] @1: Bob is furry.[(((triple10) -> rule2))] Harry is furry.[(((triple14) -> rule2))]