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.
Dave is nice.
@0: Charlie is nice.[(triple1)] Dave is not nice.[(triple2)] Erin is smart.[(triple3)]