Bob is smart. Erin is kind. Gary is red. Harry is big. Red things are green. If something is red and big then it is nice. All kind, big things are furry. Kind, smart things are nice. All nice, red things are green. All nice things are smart. All furry things are red. If Gary is smart then Gary is furry.
Gary is kind.