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