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