Bob is kind. Bob is nice. Bob is quiet. Dave is big. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is white. Gary is big. Gary is green. Gary is kind. Gary is quiet. Gary is rough. Gary is white. All green things are quiet. Big, nice things are rough. White things are green. White, quiet things are kind. All big things are rough. If Gary is white and Gary is green then Gary is big.
Bob is not big.