Gary is big. Gary is furry. Gary is quiet. Gary is red. Gary is round. Gary is smart. Gary is white. If Gary is big then Gary is furry. Quiet, round people are smart. If someone is furry and round then they are white. If Gary is quiet then Gary is big. If someone is quiet then they are smart. All smart, furry people are white. Red people are big. If Gary is furry and Gary is white then Gary is smart.
Gary is not red.