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