Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is quiet. Dave is kind. Dave is nice. Dave is quiet. Dave is round. Gary is kind. Gary is nice. Gary is round. All furry, nice people are red. Red, furry people are green. If Gary is furry then Gary is green. If someone is red and furry then they are quiet. If someone is kind then they are furry. All kind, round people are furry.
Gary is not green.