Anne is big. Anne is green. Erin is young. Gary is furry. Gary is round. Gary is young. Harry is young. If something is green then it is not furry. Young things are white. All round things are big. If something is white then it is big. If something is white then it is nice. If something is big then it is young.
Erin is not green.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Erin is young.[(triple3)] Gary is furry.[(triple4)] Gary is round.[(triple5)] Gary is young.[(triple6 OR ((((triple5) -> rule3)) -> rule6))] Harry is young.[(triple7)] @1: Anne is not furry.[(((triple2) -> rule1))] Anne is young.[(((triple1) -> rule6))] Erin is white.[(((triple3) -> rule2))] Gary is big.[(((triple5) -> rule3) OR ((((triple6) -> rule2)) -> rule4))] Gary is white.[(((triple6) -> rule2) OR ((((((triple5) -> rule3)) -> rule6)) -> rule2))] Harry is white.[(((triple7) -> rule2))] @2: Anne is white.[(((((triple1) -> rule6)) -> rule2))] Erin is big.[(((((triple3) -> rule2)) -> rule4))] Erin is nice.[(((((triple3) -> rule2)) -> rule5))] Gary is nice.[(((((triple6) -> rule2)) -> rule5) OR ((((((((triple5) -> rule3)) -> rule6)) -> rule2)) -> rule5))] Harry is big.[(((((triple7) -> rule2)) -> rule4))] Harry is nice.[(((((triple7) -> rule2)) -> rule5))] @3: Anne is nice.[(((((((triple1) -> rule6)) -> rule2)) -> rule5))]