Erin is not big. Erin is not blue. Erin is furry. Erin is kind. Erin is nice. Erin is white. Erin is not young. All kind, furry people are not big. If someone is young and not blue then they are big.
Erin is not blue.
@0: Erin is furry.[(triple3)] Erin is kind.[(triple4)] Erin is nice.[(triple5)] Erin is not big.[(triple1 OR ((triple4 triple3) -> rule1))] Erin is not blue.[(triple2)] Erin is not young.[(triple7)] Erin is white.[(triple6)]