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