Bob is big. Bob is cold. Bob is not red. Bob is round. Bob is white. Erin is blue. Erin is cold. Erin is red. Fiona is white. Fiona is young. Gary is blue. Gary is cold. Gary is red. Gary is round. Gary is not white. All red, young things are big. If Erin is blue and Erin is not red then Erin is not round. All blue, white things are round. All blue, round things are big. All white things are round. If something is not blue then it is big. If something is blue and not round then it is not white. If Gary is not white and Gary is not round then Gary is not blue.
Erin is not round.