Anne is furry. Anne is nice. Anne is red. Anne is young. Bob is big. Bob is young. Gary is red. Gary is rough. Gary is smart. Gary is young. Red people are furry. If Gary is big then Gary is red. If someone is nice then they are furry. If someone is smart then they are red. All red people are big. All big, nice people are furry.
Bob is not red.