Anne is furry. Anne is green. Anne is red. Anne is rough. Anne is smart. Anne is young. Bob is green. Bob is quiet. Bob is red. Bob is rough. Bob is smart. Bob is young. Erin is green. Erin is young. Gary is smart. Gary is young. Quiet things are furry. If something is green and smart then it is rough. If something is young and smart then it is furry. All green things are red. All rough, quiet things are red. All red, green things are quiet.
Gary is not red.