Anne is not furry. Anne is red. Anne is round. Anne is smart. Anne is young. Bob is cold. Bob is not quiet. Bob is smart. Bob is young. Harry is cold. Harry is not furry. Harry is red. Harry is not round. Harry is smart. Harry is young. All furry people are young. If Harry is furry then Harry is not young. If someone is young and not smart then they are cold. All cold people are not quiet. If someone is young and not quiet then they are red. If someone is cold and not furry then they are red.
Bob is round.
@0: Anne is not furry.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Anne is young.[(triple5)] Bob is cold.[(triple6)] Bob is not quiet.[(triple7 OR ((triple6) -> rule4))] Bob is smart.[(triple8)] Bob is young.[(triple9)] Harry is cold.[(triple10)] Harry is not furry.[(triple11)] Harry is not round.[(triple13)] Harry is red.[(triple12 OR ((triple10 triple11) -> rule6) OR ((triple15 ((triple10) -> rule4)) -> rule5))] Harry is smart.[(triple14)] Harry is young.[(triple15)] @1: Bob is red.[(((triple9 triple7) -> rule5) OR ((triple9 ((triple6) -> rule4)) -> rule5))] Harry is not quiet.[(((triple10) -> rule4))]