Anne is red. Erin is big. Erin is nice. Erin is young. Gary is big. Gary is round. Gary is young. Harry is big. Harry is red. Harry is young. Round, young things are red. If something is green and nice then it is big. If something is young and quiet then it is green. Round, big things are young. All round things are quiet. All nice things are green. Big, young things are red. If something is young and nice then it is big.
Anne is not red.
@0: Anne is red.[(triple1)] Erin is big.[(triple2 OR ((triple4 triple3) -> rule8) OR ((((triple3) -> rule6) triple3) -> rule2))] Erin is nice.[(triple3)] Erin is young.[(triple4)] Gary is big.[(triple5)] Gary is round.[(triple6)] Gary is young.[(triple7 OR ((triple6 triple5) -> rule4))] Harry is big.[(triple8)] Harry is red.[(triple9 OR ((triple8 triple10) -> rule7))] Harry is young.[(triple10)] @1: Erin is green.[(((triple3) -> rule6))] Erin is red.[(((triple2 triple4) -> rule7) OR ((((triple4 triple3) -> rule8) triple4) -> rule7) OR ((((((triple3) -> rule6) triple3) -> rule2) triple4) -> rule7))] Gary is quiet.[(((triple6) -> rule5))] Gary is red.[(((triple5 triple7) -> rule7) OR ((triple6 triple7) -> rule1) OR ((triple5 ((triple6 triple5) -> rule4)) -> rule7) OR ((triple6 ((triple6 triple5) -> rule4)) -> rule1))] @2: Gary is green.[(((triple7 ((triple6) -> rule5)) -> rule3) OR ((((triple6 triple5) -> rule4) ((triple6) -> rule5)) -> rule3))]