Anne is cold. Anne is kind. Anne is quiet. Anne is red. Bob is not white. Gary is big. Gary is cold. Gary is kind. Gary is quiet. Gary is red. If something is blue then it is quiet. If Gary is blue then Gary is not red. If something is not red then it is blue. If something is kind then it is quiet. All blue things are not big. If Gary is not big then Gary is not blue. If something is quiet and blue then it is kind. If Bob is blue and Bob is not quiet then Bob is cold.
Bob is not big.