Anne is nice. Anne is young. Erin is young. Fiona is furry. Fiona is green. Gary is green. Gary is nice. If someone is smart and quiet then they are furry. If someone is smart then they are quiet. If someone is quiet and not nice then they are smart. Red, smart people are quiet. If someone is nice then they are green. All young, nice people are smart. Nice, red people are young. Nice people are red. All smart people are red.
Gary is not smart.