Bob is not nice. Charlie is cold. Dave is smart. Gary is red. All smart, nice people are cold.
Dave is not smart.
@0: Bob is not nice.[(triple1)] Charlie is cold.[(triple2)] Dave is smart.[(triple3)] Gary is red.[(triple4)]