Dave is young. All rough people are round. If Dave is red then Dave is young. If Dave is rough then Dave is green. If Dave is rough and Dave is round then Dave is red. All round people are blue. All kind, blue people are green. If someone is rough and not round then they are kind. All rough people are kind.
Dave is rough.
@0: Dave is young.[(triple1)]