Bob is red. Dave is blue. Dave is not green. Dave is rough. Fiona is red. Gary is rough. Gary is round. If someone is green then they are red. Kind, red people are not big. If Dave is not big and Dave is not kind then Dave is not green.
Gary is not red.