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