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