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