Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is kind. Erin is white. Erin is young. If something is green and not big then it is furry. Blue things are green. Young, green things are white. Young things are white. If something is white and not blue then it is kind. If something is green and not white then it is not kind.
Erin is white.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4 OR ((triple2) -> rule2))] Erin is kind.[(triple5)] Erin is white.[(triple6 OR ((triple7) -> rule4) OR ((triple7 triple4) -> rule3) OR ((triple7 ((triple2) -> rule2)) -> rule3))] Erin is young.[(triple7)]