Dave is nice. If someone is green then they are not young. Green people are not young. Smart people are red. Rough people are red. If someone is rough then they are nice. Red people are nice. If Dave is nice and Dave is red then Dave is rough. If someone is green and not young then they are round.
Dave is young.
@0: Dave is nice.[(triple1)]