Bob is big. Bob is blue. Bob is furry. Bob is not green. Bob is kind. Erin is blue. Erin is smart. Gary is big. Gary is blue. Gary is furry. Gary is green. Gary is nice. All kind things are furry. If something is blue then it is kind. If something is kind and blue then it is furry. If Bob is kind and Bob is green then Bob is blue. If something is blue and not furry then it is not kind. If something is green and not furry then it is big.
Gary is smart.