Bob is big. Bob is blue. Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is not young. If Bob is quiet and Bob is not big then Bob is not green. If Bob is furry and Bob is not green then Bob is red.
Bob is not quiet.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is not young.[(triple7)] Bob is quiet.[(triple5)] Bob is red.[(triple6)]