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