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