Bob is furry. Charlie is not smart. Dave is cold. Quiet, smart people are cold. All smart, cold people are quiet. If someone is cold and not kind then they are not smart.
Dave is cold.
@0: Bob is furry.[(triple1)] Charlie is not smart.[(triple2)] Dave is cold.[(triple3)]