Bob is smart. Charlie is red. Dave is cold. If something is kind and not smart then it is rough. All nice things are not rough. If Dave is rough and Dave is kind then Dave is red. If Bob is rough then Bob is red. If something is nice then it is kind. If something is rough then it is furry. If Charlie is not rough then Charlie is red. If Dave is not kind and Dave is not cold then Dave is not furry.
Bob is cold.
@0: Bob is smart.[(triple1)] Charlie is red.[(triple2)] Dave is cold.[(triple3)]