Bob is blue. Bob is furry. Bob is kind. Bob is red. Bob is not round. Bob is smart. Charlie is not round. Charlie is not smart. Gary is blue. Gary is furry. Gary is kind. Gary is quiet. Gary is red. Gary is round. Gary is smart. Harry is furry. If something is furry and not round then it is smart. Kind things are quiet. All smart things are blue.
Harry is not blue.