Anne is red. Anne is white. Dave is big. Dave is not red. Fiona is not green. Fiona is not kind. Gary is white. If something is smart and not rough then it is not big. If Anne is not green then Anne is kind.
Gary is not red.