Anne is blue. Anne is furry. Anne is red. Anne is smart. Anne is white. Anne is young. Erin is furry. Erin is red. Erin is smart. Gary is blue. Gary is furry. Gary is red. Gary is round. Gary is smart. Gary is white. Gary is young. If Erin is furry then Erin is smart. If Gary is smart and Gary is young then Gary is white. Young, round people are red. If someone is red and smart then they are blue. White, smart people are young. If someone is blue and red then they are white. All smart, furry people are blue. If someone is red then they are furry.
Erin is not young.
@0: Anne is blue.[(triple1 OR ((triple3 triple4) -> rule4) OR ((triple4 triple2) -> rule7) OR ((triple4 ((triple3) -> rule8)) -> rule7))] Anne is furry.[(triple2 OR ((triple3) -> rule8))] Anne is red.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5 OR ((triple1 triple3) -> rule6) OR ((((triple3 triple4) -> rule4) triple3) -> rule6) OR ((((triple4 triple2) -> rule7) triple3) -> rule6) OR ((((triple4 ((triple3) -> rule8)) -> rule7) triple3) -> rule6))] Anne is young.[(triple6 OR ((triple5 triple4) -> rule5) OR ((((triple1 triple3) -> rule6) triple4) -> rule5) OR ((((((triple3 triple4) -> rule4) triple3) -> rule6) triple4) -> rule5) OR ((((((triple4 triple2) -> rule7) triple3) -> rule6) triple4) -> rule5) OR ((((((triple4 ((triple3) -> rule8)) -> rule7) triple3) -> rule6) triple4) -> rule5))] Erin is furry.[(triple7 OR ((triple8) -> rule8))] Erin is red.[(triple8)] Erin is smart.[(triple9 OR ((triple7) -> rule1) OR ((((triple8) -> rule8)) -> rule1))] Gary is blue.[(triple10 OR ((triple12 triple14) -> rule4) OR ((triple14 triple11) -> rule7) OR ((triple14 ((triple12) -> rule8)) -> rule7) OR ((((triple16 triple13) -> rule3) triple14) -> rule4) OR ((triple14 ((((triple16 triple13) -> rule3)) -> rule8)) -> rule7) OR ((((((triple15 triple14) -> rule5) triple13) -> rule3) triple14) -> rule4) OR ((triple14 ((((((triple15 triple14) -> rule5) triple13) -> rule3)) -> rule8)) -> rule7))] Gary is furry.[(triple11 OR ((triple12) -> rule8) OR ((((triple16 triple13) -> rule3)) -> rule8) OR ((((((triple15 triple14) -> rule5) triple13) -> rule3)) -> rule8))] Gary is red.[(triple12 OR ((triple16 triple13) -> rule3) OR ((((triple15 triple14) -> rule5) triple13) -> rule3))] Gary is round.[(triple13)] Gary is smart.[(triple14)] Gary is white.[(triple15 OR ((triple10 triple12) -> rule6) OR ((triple14 triple16) -> rule2) OR ((triple10 ((triple16 triple13) -> rule3)) -> rule6) OR ((((triple12 triple14) -> rule4) triple12) -> rule6) OR ((((triple14 triple11) -> rule7) triple12) -> rule6) OR ((((triple12 triple14) -> rule4) ((triple16 triple13) -> rule3)) -> rule6) OR ((((triple14 triple11) -> rule7) ((triple16 triple13) -> rule3)) -> rule6) OR ((((triple14 ((triple12) -> rule8)) -> rule7) triple12) -> rule6) OR ((((((triple16 triple13) -> rule3) triple14) -> rule4) triple12) -> rule6) OR ((((triple14 ((triple12) -> rule8)) -> rule7) ((triple16 triple13) -> rule3)) -> rule6) OR ((((((triple16 triple13) -> rule3) triple14) -> rule4) ((triple16 triple13) -> rule3)) -> rule6) OR ((((triple14 ((((triple16 triple13) -> rule3)) -> rule8)) -> rule7) triple12) -> rule6) OR ((((triple14 ((((triple16 triple13) -> rule3)) -> rule8)) -> rule7) ((triple16 triple13) -> rule3)) -> rule6))] Gary is young.[(triple16 OR ((triple15 triple14) -> rule5) OR ((((triple10 triple12) -> rule6) triple14) -> rule5) OR ((((((triple12 triple14) -> rule4) triple12) -> rule6) triple14) -> rule5) OR ((((((triple14 triple11) -> rule7) triple12) -> rule6) triple14) -> rule5) OR ((((((triple14 ((triple12) -> rule8)) -> rule7) triple12) -> rule6) triple14) -> rule5))] @1: Erin is blue.[(((triple8 triple9) -> rule4) OR ((triple9 triple7) -> rule7) OR ((triple8 ((triple7) -> rule1)) -> rule4) OR ((triple9 ((triple8) -> rule8)) -> rule7) OR ((((triple7) -> rule1) triple7) -> rule7) OR ((((triple7) -> rule1) ((triple8) -> rule8)) -> rule7) OR ((triple8 ((((triple8) -> rule8)) -> rule1)) -> rule4) OR ((((((triple8) -> rule8)) -> rule1) triple7) -> rule7) OR ((((((triple8) -> rule8)) -> rule1) ((triple8) -> rule8)) -> rule7))] @2: Erin is white.[(((((triple8 triple9) -> rule4) triple8) -> rule6) OR ((((triple9 triple7) -> rule7) triple8) -> rule6) OR ((((triple8 ((triple7) -> rule1)) -> rule4) triple8) -> rule6) OR ((((triple9 ((triple8) -> rule8)) -> rule7) triple8) -> rule6) OR ((((((triple7) -> rule1) triple7) -> rule7) triple8) -> rule6) OR ((((((triple7) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) OR ((((triple8 ((((triple8) -> rule8)) -> rule1)) -> rule4) triple8) -> rule6) OR ((((((((triple8) -> rule8)) -> rule1) triple7) -> rule7) triple8) -> rule6) OR ((((((((triple8) -> rule8)) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6))] @3: Erin is young.[(((((((triple8 triple9) -> rule4) triple8) -> rule6) triple9) -> rule5) OR ((((((triple9 triple7) -> rule7) triple8) -> rule6) triple9) -> rule5) OR ((((((triple8 triple9) -> rule4) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((triple9 triple7) -> rule7) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((triple8 triple9) -> rule4) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((triple9 triple7) -> rule7) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((triple8 ((triple7) -> rule1)) -> rule4) triple8) -> rule6) triple9) -> rule5) OR ((((((triple9 ((triple8) -> rule8)) -> rule7) triple8) -> rule6) triple9) -> rule5) OR ((((((((triple7) -> rule1) triple7) -> rule7) triple8) -> rule6) triple9) -> rule5) OR ((((((triple8 ((triple7) -> rule1)) -> rule4) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((triple9 ((triple8) -> rule8)) -> rule7) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((triple7) -> rule1) triple7) -> rule7) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((triple7) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) triple9) -> rule5) OR ((((((triple8 ((triple7) -> rule1)) -> rule4) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((triple9 ((triple8) -> rule8)) -> rule7) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((((triple7) -> rule1) triple7) -> rule7) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((((triple7) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((triple7) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((triple8 ((((triple8) -> rule8)) -> rule1)) -> rule4) triple8) -> rule6) triple9) -> rule5) OR ((((((((((triple8) -> rule8)) -> rule1) triple7) -> rule7) triple8) -> rule6) triple9) -> rule5) OR ((((((triple8 ((((triple8) -> rule8)) -> rule1)) -> rule4) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((((triple8) -> rule8)) -> rule1) triple7) -> rule7) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((((triple8) -> rule8)) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) triple9) -> rule5) OR ((((((triple8 ((((triple8) -> rule8)) -> rule1)) -> rule4) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((((((triple8) -> rule8)) -> rule1) triple7) -> rule7) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((((((triple8) -> rule8)) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((((triple8) -> rule8)) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5))]