Bob is big. Bob is blue. Bob is smart. Charlie is blue. Charlie is smart. Dave is kind. Harry is not nice. If Bob is quiet and Bob is nice then Bob is blue. If something is nice then it is blue. Quiet, blue things are smart. Kind things are nice. If Charlie is smart then Charlie is quiet. All blue things are quiet. All smart things are furry. Quiet, smart things are nice.
Dave is furry.