Dave is green. Dave is not rough. Dave is smart. Cold, rough people are kind. All round people are kind. Rough, green people are young. All rough people are young. If Dave is green and Dave is young then Dave is smart. If Dave is kind and Dave is not rough then Dave is smart. All round, kind people are green. If someone is kind and not round then they are cold.
Dave is not rough.
@0: Dave is green.[(triple1)] Dave is not rough.[(triple2)] Dave is smart.[(triple3)]