Bob is not big. Bob is red. Bob is not round. Bob is white. Erin is big. Erin is not blue. Erin is green. Erin is smart. Gary is not green. Gary is smart. Gary is not white. Harry is not blue. Harry is green. Harry is red. Harry is round. All smart things are big. All green things are smart. If Harry is not round and Harry is not big then Harry is red.
Gary is big.