Bob is not smart. If something is round then it is not cold. If Bob is round and Bob is red then Bob is blue. Nice things are not smart. Red, cold things are not kind. If something is red and not cold then it is not nice. If something is nice then it is red.
Bob is not red.
@0: Bob is not smart.[(triple1)]