Bob is not big. Bob is blue. Bob is not cold. Bob is furry. Bob is not green. Bob is smart. Bob is white. All green things are cold.
Bob is not smart.
@0: Bob is blue.[(triple2)] Bob is furry.[(triple4)] Bob is not big.[(triple1)] Bob is not cold.[(triple3)] Bob is not green.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7)]