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