Bob is kind. Bob is not quiet. Bob is not red. Bob is round. Bob is not smart. Bob is white. Bob is young. If someone is smart and not round then they are not white.
Bob is not red.
@0: Bob is kind.[(triple1)] Bob is not quiet.[(triple2)] Bob is not red.[(triple3)] Bob is not smart.[(triple5)] Bob is round.[(triple4)] Bob is white.[(triple6)] Bob is young.[(triple7)]