Dave is big. Dave is not red. Dave is rough. Dave is smart. Dave is white. Erin is round. Erin is white. Fiona is round. Fiona is not smart. Gary is big. Gary is blue. Gary is red. If something is rough and not big then it is white. If Erin is white and Erin is rough then Erin is not big. If something is big and not red then it is round. If Gary is big then Gary is not smart. All smart things are round. If something is smart and not red then it is white.
Gary is white.