Anne is blue. Anne is not cold. Anne is green. Anne is nice. Anne is red. Anne is white. Anne is young. Harry is blue. Harry is cold. Harry is green. Harry is not nice. Harry is not red. Harry is white. Harry is young. If someone is red and not blue then they are young. Cold people are young. All blue, white people are young. If Anne is young and Anne is green then Anne is nice. If Harry is blue and Harry is not white then Harry is not cold. If Harry is blue and Harry is not cold then Harry is not nice.
Anne is not young.
@0: Anne is blue.[(triple1)] Anne is green.[(triple3)] Anne is nice.[(triple4 OR ((triple7 triple3) -> rule4) OR ((((triple1 triple6) -> rule3) triple3) -> rule4))] Anne is not cold.[(triple2)] Anne is red.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple1 triple6) -> rule3))] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is green.[(triple10)] Harry is not nice.[(triple11)] Harry is not red.[(triple12)] Harry is white.[(triple13)] Harry is young.[(triple14 OR ((triple9) -> rule2) OR ((triple8 triple13) -> rule3))]