Erin is blue. Erin is furry. Erin is quiet. Erin is red. Erin is rough. Erin is round. Erin is young. Rough, red things are quiet. Blue, rough things are round. If something is rough then it is round.
Erin is not blue.
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2)] Erin is quiet.[(triple3 OR ((triple5 triple4) -> rule1))] Erin is red.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6 OR ((triple5) -> rule3) OR ((triple1 triple5) -> rule2))] Erin is young.[(triple7)]