Dave is green. Harry is not furry. All red, green people are nice. All kind, green people are not nice. If someone is smart then they are furry. If someone is red and not smart then they are not green. Red, nice people are green. If someone is green and not furry then they are not young. If someone is nice then they are young. All kind people are not young.
Dave is green.
@0: Dave is green.[(triple1)] Harry is not furry.[(triple2)]