Bob is nice. If something is not smart then it is nice. If something is red then it is not smart. If something is not kind and not smart then it is cold. If Bob is kind and Bob is red then Bob is not round. If something is not red then it is blue. All red, smart things are nice.
Bob is not nice.