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