Anne is white. Anne is young. Erin is red. Gary is big. Harry is big. Harry is blue. Harry is furry. All white people are young. All young people are cold. All furry people are red. If someone is blue and white then they are young. All cold, big people are young. Red people are big.
Erin is not red.
@0: Anne is white.[(triple1)] Anne is young.[(triple2 OR ((triple1) -> rule1))] Erin is red.[(triple3)] Gary is big.[(triple4)] Harry is big.[(triple5 OR ((((triple7) -> rule3)) -> rule6))] Harry is blue.[(triple6)] Harry is furry.[(triple7)] @1: Anne is cold.[(((triple2) -> rule2) OR ((((triple1) -> rule1)) -> rule2))] Erin is big.[(((triple3) -> rule6))] Harry is red.[(((triple7) -> rule3))]