Bob is big. Bob is not blue. Bob is not cold. Bob is not furry. Bob is not green. Bob is not nice. Bob is rough. If something is blue and green then it is furry. Furry things are cold.
Bob is not nice.
@0: Bob is big.[(triple1)] Bob is not blue.[(triple2)] Bob is not cold.[(triple3)] Bob is not furry.[(triple4)] Bob is not green.[(triple5)] Bob is not nice.[(triple6)] Bob is rough.[(triple7)]