Anne is blue. Anne is kind. Anne is red. Anne is young. Erin is kind. Erin is young. Harry is furry. Harry is green. Harry is kind. Harry is nice. All green people are red. If Erin is young and Erin is green then Erin is kind. If Anne is young then Anne is red. If Harry is young and Harry is kind then Harry is green. Green, blue people are red. If someone is green then they are blue.
Erin is not blue.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3 OR ((triple4) -> rule3))] Anne is young.[(triple4)] Erin is kind.[(triple5)] Erin is young.[(triple6)] Harry is furry.[(triple7)] Harry is green.[(triple8)] Harry is kind.[(triple9)] Harry is nice.[(triple10)] @1: Harry is blue.[(((triple8) -> rule6))] Harry is red.[(((triple8) -> rule1) OR ((triple8 ((triple8) -> rule6)) -> rule5))]