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