Bob is blue. Bob is red. Bob is white. Dave is quiet. Dave is white. Fiona is red. Gary is quiet. Furry, red things are cold. Rough, blue things are quiet. If something is cold then it is red. Quiet, white things are furry. If Gary is blue and Gary is furry then Gary is white. All cold, furry things are rough.
Dave is not furry.