Bob is big. Bob is cold. Bob is not green. Bob is kind. Bob is quiet. Bob is rough. Bob is white. Dave is green. Dave is not kind. Dave is quiet. Dave is rough. Dave is white. Gary is big. Gary is kind. Harry is cold. Harry is not green. All cold things are kind. All cold, white things are rough. All kind things are quiet. All quiet things are big. All big things are white. If Bob is cold and Bob is not green then Bob is big. If Bob is big then Bob is rough. If something is rough and not white then it is not big.
Dave is cold.