Dave is nice. Dave is not rough. Dave is round. If someone is nice and not round then they are blue. All young, smart people are blue. If someone is smart and not rough then they are nice. All rough, round people are not smart. All round, smart people are white. All blue, young people are white.
Dave is not white.
@0: Dave is nice.[(triple1)] Dave is not rough.[(triple2)] Dave is round.[(triple3)]