Bob is big. Bob is not blue. Bob is cold. Bob is not furry. Bob is rough. Bob is round. Bob is smart. If someone is furry and not big then they are rough. If Bob is blue and Bob is furry then Bob is not smart.
Bob is not smart.
@0: Bob is big.[(triple1)] Bob is cold.[(triple3)] Bob is not blue.[(triple2)] Bob is not furry.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is smart.[(triple7)]