Anne is white. Erin is furry. Erin is green. Erin is nice. Erin is smart. Erin is white. Erin is young. Gary is furry. Gary is smart. Gary is young. Harry is blue. Harry is furry. Nice, smart people are white. Nice people are smart. White people are blue. If someone is smart then they are young. All white people are green. Furry, nice people are young. If someone is furry and blue then they are young. If someone is young and smart then they are blue.
Erin is furry.
@0: Anne is white.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3 OR ((triple6) -> rule5) OR ((((triple4 triple5) -> rule1)) -> rule5) OR ((((triple4 ((triple4) -> rule2)) -> rule1)) -> rule5))] Erin is nice.[(triple4)] Erin is smart.[(triple5 OR ((triple4) -> rule2))] Erin is white.[(triple6 OR ((triple4 triple5) -> rule1) OR ((triple4 ((triple4) -> rule2)) -> rule1))] Erin is young.[(triple7 OR ((triple5) -> rule4) OR ((triple2 triple4) -> rule6) OR ((((triple4) -> rule2)) -> rule4) OR ((triple2 ((triple6) -> rule3)) -> rule7) OR ((triple2 ((((triple4 triple5) -> rule1)) -> rule3)) -> rule7) OR ((triple2 ((((triple4 ((triple4) -> rule2)) -> rule1)) -> rule3)) -> rule7))] Gary is furry.[(triple8)] Gary is smart.[(triple9)] Gary is young.[(triple10 OR ((triple9) -> rule4))] Harry is blue.[(triple11)] Harry is furry.[(triple12)] @1: Anne is blue.[(((triple1) -> rule3))] Anne is green.[(((triple1) -> rule5))] Erin is blue.[(((triple6) -> rule3) OR ((triple7 triple5) -> rule8) OR ((((triple4 triple5) -> rule1)) -> rule3) OR ((triple7 ((triple4) -> rule2)) -> rule8) OR ((((triple5) -> rule4) triple5) -> rule8) OR ((((triple2 triple4) -> rule6) triple5) -> rule8) OR ((((triple5) -> rule4) ((triple4) -> rule2)) -> rule8) OR ((((triple2 triple4) -> rule6) ((triple4) -> rule2)) -> rule8) OR ((((triple4 ((triple4) -> rule2)) -> rule1)) -> rule3) OR ((((((triple4) -> rule2)) -> rule4) triple5) -> rule8) OR ((((((triple4) -> rule2)) -> rule4) ((triple4) -> rule2)) -> rule8))] Gary is blue.[(((triple10 triple9) -> rule8) OR ((((triple9) -> rule4) triple9) -> rule8))] Harry is young.[(((triple12 triple11) -> rule7))]