Bob is green. Bob is kind. Bob is nice. Bob is quiet. Bob is not rough. Bob is smart. Bob is white. If Bob is not smart then Bob is rough.
Bob is not smart.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is not rough.[(triple5)] Bob is quiet.[(triple4)] Bob is smart.[(triple6)] Bob is white.[(triple7)]