Bob is big. Bob is blue. Bob is nice. Bob is quiet. Bob is white. Dave is blue. Dave is nice. Dave is quiet. Dave is smart. Harry is blue. Harry is kind. Harry is nice. If something is blue and smart then it is big. If Bob is big then Bob is smart. Blue, smart things are white. All big things are quiet. Nice, white things are quiet. If something is big then it is quiet. Nice, blue things are big. If Dave is nice then Dave is big.
Dave is not big.