Anne is nice. Anne is smart. Erin is cold. If something is white and smart then it is cold. If something is white then it is nice.
Erin is not cold.
@0: Anne is nice.[(triple1)] Anne is smart.[(triple2)] Erin is cold.[(triple3)]