Bob is big. Bob is not blue. Bob is cold. Bob is kind. Bob is not red. Bob is rough. Bob is white. If Bob is not white then Bob is blue.
Bob is cold.
@0: Bob is big.[(triple1)] Bob is cold.[(triple3)] Bob is kind.[(triple4)] Bob is not blue.[(triple2)] Bob is not red.[(triple5)] Bob is rough.[(triple6)] Bob is white.[(triple7)]