Dave is big. Dave is furry. Dave is kind. Dave is smart. Erin is blue. Erin is kind. Gary is blue. Gary is cold. Gary is furry. Harry is furry. Harry is kind. Harry is white. All white, furry people are blue. If Erin is smart and Erin is furry then Erin is kind. All big, kind people are smart. All cold people are blue. If someone is kind and white then they are blue. All blue, kind people are big. All big, cold people are blue. Cold people are furry.
Gary is not big.