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