Bob is big. Bob is furry. Bob is green. Bob is smart. Bob is white. Gary is big. Gary is cold. Gary is furry. Gary is green. Gary is rough. Gary is smart. Gary is white. If something is furry and smart then it is cold. All cold things are furry. If Bob is rough and Bob is white then Bob is big. Smart things are furry. All green, furry things are big. All big things are white.
Bob is not cold.