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