Anne is kind. Anne is quiet. Erin is big. Erin is blue. Erin is quiet. Erin is red. Erin is round. Gary is big. Gary is quiet. Gary is red. Gary is round. Gary is young. If someone is red and kind then they are round. If someone is blue and red then they are big. Quiet people are blue. Blue, quiet people are big. If someone is quiet then they are round. If someone is round and big then they are red. If Anne is young and Anne is round then Anne is red. If Erin is red then Erin is young.
Anne is not red.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Erin is big.[(triple3 OR ((triple4 triple5) -> rule4) OR ((triple4 triple6) -> rule2) OR ((((triple5) -> rule3) triple5) -> rule4) OR ((((triple5) -> rule3) triple6) -> rule2))] Erin is blue.[(triple4 OR ((triple5) -> rule3))] Erin is quiet.[(triple5)] Erin is red.[(triple6 OR ((triple7 triple3) -> rule6) OR ((triple7 ((triple4 triple5) -> rule4)) -> rule6) OR ((((triple5) -> rule5) triple3) -> rule6) OR ((((triple5) -> rule5) ((triple4 triple5) -> rule4)) -> rule6) OR ((triple7 ((((triple5) -> rule3) triple5) -> rule4)) -> rule6) OR ((((triple5) -> rule5) ((((triple5) -> rule3) triple5) -> rule4)) -> rule6))] Erin is round.[(triple7 OR ((triple5) -> rule5))] Gary is big.[(triple8 OR ((((triple9) -> rule3) triple10) -> rule2) OR ((((triple9) -> rule3) triple9) -> rule4))] Gary is quiet.[(triple9)] Gary is red.[(triple10 OR ((triple11 triple8) -> rule6) OR ((((triple9) -> rule5) triple8) -> rule6) OR ((triple11 ((((triple9) -> rule3) triple9) -> rule4)) -> rule6) OR ((((triple9) -> rule5) ((((triple9) -> rule3) triple9) -> rule4)) -> rule6))] Gary is round.[(triple11 OR ((triple9) -> rule5))] Gary is young.[(triple12)] @1: Anne is blue.[(((triple2) -> rule3))] Anne is round.[(((triple2) -> rule5))] Erin is young.[(((triple6) -> rule8) OR ((((triple7 triple3) -> rule6)) -> rule8) OR ((((triple7 ((triple4 triple5) -> rule4)) -> rule6)) -> rule8) OR ((((((triple5) -> rule5) triple3) -> rule6)) -> rule8) OR ((((((triple5) -> rule5) ((triple4 triple5) -> rule4)) -> rule6)) -> rule8) OR ((((triple7 ((((triple5) -> rule3) triple5) -> rule4)) -> rule6)) -> rule8) OR ((((((triple5) -> rule5) ((((triple5) -> rule3) triple5) -> rule4)) -> rule6)) -> rule8))] Gary is blue.[(((triple9) -> rule3))] @2: Anne is big.[(((((triple2) -> rule3) triple2) -> rule4))] @3: Anne is red.[(((((triple2) -> rule5) ((((triple2) -> rule3) triple2) -> rule4)) -> rule6))]