Bob is blue. Bob is not cold. Bob is nice. Bob is red. Bob is round. Bob is smart. Bob is young. If something is red and not blue then it is not young. If Bob is nice and Bob is cold then Bob is not round.
Bob is not cold.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple3)] Bob is not cold.[(triple2)] Bob is red.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)]