Erin is blue. Erin is cold. Erin is not nice. Erin is rough. Erin is round. Erin is smart. Erin is young. If Erin is rough and Erin is not blue then Erin is not cold. All smart people are cold.
Erin is not cold.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2 OR ((triple6) -> rule2))] Erin is not nice.[(triple3)] Erin is rough.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7)]