Erin is blue. Erin is furry. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is young. If someone is nice and quiet then they are furry. Quiet people are blue. If Erin is young and Erin is quiet then Erin is furry.
Erin is not furry.
@0: Erin is blue.[(triple1 OR ((triple4) -> rule2))] Erin is furry.[(triple2 OR ((triple3 triple4) -> rule1) OR ((triple7 triple4) -> rule3))] Erin is nice.[(triple3)] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6)] Erin is young.[(triple7)]