Erin is blue. Erin is furry. Erin is green. Erin is red. Erin is round. Erin is white. Erin is young. All red people are furry. If someone is young and red then they are furry. If someone is young and white then they are green. If Erin is green and Erin is white then Erin is furry. If Erin is green and Erin is young then Erin is red. If someone is red and young then they are furry. If Erin is green then Erin is furry. All furry, green people are red.
Erin is not young.
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2 OR ((triple3) -> rule7) OR ((triple4) -> rule1) OR ((triple3 triple6) -> rule4) OR ((triple4 triple7) -> rule6) OR ((triple7 triple4) -> rule2) OR ((((triple3 triple7) -> rule5)) -> rule1) OR ((((triple7 triple6) -> rule3)) -> rule7) OR ((triple7 ((triple3 triple7) -> rule5)) -> rule2) OR ((((triple3 triple7) -> rule5) triple7) -> rule6) OR ((((triple7 triple6) -> rule3) triple6) -> rule4) OR ((((((triple7 triple6) -> rule3) triple7) -> rule5)) -> rule1) OR ((triple7 ((((triple7 triple6) -> rule3) triple7) -> rule5)) -> rule2) OR ((((((triple7 triple6) -> rule3) triple7) -> rule5) triple7) -> rule6))] Erin is green.[(triple3 OR ((triple7 triple6) -> rule3))] Erin is red.[(triple4 OR ((triple2 triple3) -> rule8) OR ((triple3 triple7) -> rule5) OR ((triple2 ((triple7 triple6) -> rule3)) -> rule8) OR ((((triple3) -> rule7) triple3) -> rule8) OR ((((triple3 triple6) -> rule4) triple3) -> rule8) OR ((((triple7 triple6) -> rule3) triple7) -> rule5) OR ((((triple3) -> rule7) ((triple7 triple6) -> rule3)) -> rule8) OR ((((triple3 triple6) -> rule4) ((triple7 triple6) -> rule3)) -> rule8) OR ((((((triple7 triple6) -> rule3)) -> rule7) triple3) -> rule8) OR ((((((triple7 triple6) -> rule3) triple6) -> rule4) triple3) -> rule8) OR ((((((triple7 triple6) -> rule3)) -> rule7) ((triple7 triple6) -> rule3)) -> rule8) OR ((((((triple7 triple6) -> rule3) triple6) -> rule4) ((triple7 triple6) -> rule3)) -> rule8))] Erin is round.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)]