Anne is blue. Anne is furry. Anne is not nice. Anne is red. Anne is young. Erin is blue. Erin is not nice. Erin is red. Erin is round. Erin is young. Harry is red. Harry is not white. If someone is nice and not round then they are red. If someone is round then they are not white. All nice, young people are white. White people are furry. All blue people are not nice. If Erin is not red and Erin is not nice then Erin is not furry.
Anne is young.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is not nice.[(triple3 OR ((triple1) -> rule5))] Anne is red.[(triple4)] Anne is young.[(triple5)] Erin is blue.[(triple6)] Erin is not nice.[(triple7 OR ((triple6) -> rule5))] Erin is red.[(triple8)] Erin is round.[(triple9)] Erin is young.[(triple10)] Harry is not white.[(triple12)] Harry is red.[(triple11)] @1: Erin is not white.[(((triple9) -> rule2))]