Bob is not red. If something is big then it is young. If Bob is red and Bob is green then Bob is not kind. If Bob is big then Bob is kind. If Bob is young then Bob is not kind. If Bob is green then Bob is kind. If something is nice and not red then it is cold. If something is young and cold then it is not kind. If Bob is young and Bob is green then Bob is not big.
Bob is red.
@0: Bob is not red.[(triple1)]