Bob is not big. Bob is kind. Bob is quiet. Bob is rough. Bob is smart. Bob is white. Bob is young. Dave is big. Dave is kind. Dave is quiet. Dave is rough. Dave is smart. Dave is white. Dave is young. If someone is rough and not white then they are big. If Bob is big and Bob is not quiet then Bob is kind. If Bob is big and Bob is young then Bob is not kind.
Dave is white.
@0: Bob is kind.[(triple2)] Bob is not big.[(triple1)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Dave is big.[(triple8)] Dave is kind.[(triple9)] Dave is quiet.[(triple10)] Dave is rough.[(triple11)] Dave is smart.[(triple12)] Dave is white.[(triple13)] Dave is young.[(triple14)]