Erin is cold. Erin is furry. Erin is green. Erin is not nice. Erin is quiet. Erin is rough. Erin is young. All furry, quiet people are not nice. If someone is young then they are not nice. If someone is nice then they are not cold.
Erin is not nice.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is not nice.[(triple4 OR ((triple7) -> rule2) OR ((triple2 triple5) -> rule1))] Erin is quiet.[(triple5)] Erin is rough.[(triple6)] Erin is young.[(triple7)]