Erin is big. Erin is blue. Erin is kind. Erin is not quiet. Erin is rough. Erin is round. Erin is smart. If Erin is smart and Erin is big then Erin is blue. If someone is blue and not round then they are rough.
Erin is smart.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2 OR ((triple7 triple1) -> rule1))] Erin is kind.[(triple3)] Erin is not quiet.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7)]