Dave is kind. Gary is not quiet. All big people are red. All red people are kind. All red people are big. All quiet, blue people are green. If someone is kind and not round then they are green. If Dave is not kind then Dave is quiet. Round, red people are blue. Green people are blue.
Gary is round.
@0: Dave is kind.[(triple1)] Gary is not quiet.[(triple2)]