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