Charlie is nice. Dave is not nice. Erin is smart. All blue people are not smart. If someone is smart and not blue then they are cold.
Charlie is not cold.
@0: Charlie is nice.[(triple1)] Dave is not nice.[(triple2)] Erin is smart.[(triple3)]