Erin is blue. Erin is furry. Erin is nice. Erin is red. Erin is rough. Erin is round. Erin is smart. All nice, blue people are red. All round, smart people are furry.
Erin is not furry.
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2 OR ((triple6 triple7) -> rule2))] Erin is nice.[(triple3)] Erin is red.[(triple4 OR ((triple3 triple1) -> rule1))] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7)]