Erin is big. Erin is blue. Erin is furry. Erin is kind. Erin is quiet. Erin is red. Erin is round. If Erin is round then Erin is kind.
Erin is red.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is furry.[(triple3)] Erin is kind.[(triple4 OR ((triple7) -> rule1))] Erin is quiet.[(triple5)] Erin is red.[(triple6)] Erin is round.[(triple7)]