Bob is furry. Dave is quiet. Dave is red. Erin is furry. Erin is green. Gary is green. Gary is quiet. All quiet, red things are big. All big, furry things are cold. Big, green things are red. Quiet things are furry. If Erin is green and Erin is cold then Erin is red. All green, red things are quiet. If Bob is green and Bob is cold then Bob is red. If something is big and cold then it is white. All green things are cold.
Bob is not white.