Bob is kind. Bob is not rough. Bob is round. Bob is not smart. Bob is not young. Dave is blue. Dave is rough. Dave is not round. Dave is smart. Dave is young. If someone is young and not smart then they are rough.
Dave is not smart.
@0: Bob is kind.[(triple1)] Bob is not rough.[(triple2)] Bob is not smart.[(triple4)] Bob is not young.[(triple5)] Bob is round.[(triple3)] Dave is blue.[(triple6)] Dave is not round.[(triple8)] Dave is rough.[(triple7)] Dave is smart.[(triple9)] Dave is young.[(triple10)]