Bob is big. Bob is green. Bob is smart. Bob is white. Charlie is green. Charlie is nice. Charlie is rough. Charlie is smart. Dave is cold. Dave is nice. Dave is rough. Dave is smart. If something is rough then it is big. Green, cold things are white. If something is green then it is smart. White, smart things are nice. All big, green things are white. If Bob is nice then Bob is smart. Big things are rough. All smart, white things are big.
Dave is not big.