Erin is blue. Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is round. Erin is smart. If someone is nice and blue then they are green. If someone is nice and not green then they are furry.
Erin is not cold.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4 OR ((triple5 triple1) -> rule1))] Erin is nice.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7)]