Erin is big. Erin is green. Erin is kind. Erin is quiet. Erin is red. Erin is smart. Erin is not young. All young people are not red. If Erin is big and Erin is red then Erin is quiet. If someone is young then they are big. If someone is smart and not red then they are kind. If someone is green and not young then they are kind. If someone is green and not quiet then they are kind.
Erin is not young.
@0: Erin is big.[(triple1)] Erin is green.[(triple2)] Erin is kind.[(triple3 OR ((triple2 triple7) -> rule5))] Erin is not young.[(triple7)] Erin is quiet.[(triple4 OR ((triple1 triple5) -> rule2))] Erin is red.[(triple5)] Erin is smart.[(triple6)]