Anne is not cold. Anne is furry. Anne is round. Bob is blue. Bob is cold. Bob is furry. Bob is nice. Bob is not young. Harry is not blue. Harry is not cold. Harry is furry. Harry is nice. Harry is red. Harry is round. Harry is not young. All nice, red people are furry. If Bob is furry and Bob is not round then Bob is cold. Furry people are red.
Bob is not round.
@0: Anne is furry.[(triple2)] Anne is not cold.[(triple1)] Anne is round.[(triple3)] Bob is blue.[(triple4)] Bob is cold.[(triple5)] Bob is furry.[(triple6)] Bob is nice.[(triple7)] Bob is not young.[(triple8)] Harry is furry.[(triple11 OR ((triple12 triple13) -> rule1))] Harry is nice.[(triple12)] Harry is not blue.[(triple9)] Harry is not cold.[(triple10)] Harry is not young.[(triple15)] Harry is red.[(triple13 OR ((triple11) -> rule3))] Harry is round.[(triple14)] @1: Anne is red.[(((triple2) -> rule3))] Bob is red.[(((triple6) -> rule3))]