Charlie is smart. Dave is furry. Gary is nice. Harry is white. If something is furry and not cold then it is nice.
Charlie is not smart.
@0: Charlie is smart.[(triple1)] Dave is furry.[(triple2)] Gary is nice.[(triple3)] Harry is white.[(triple4)]