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