Charlie is blue. Charlie is rough. Dave is red. Dave is rough. Fiona is kind. Fiona is nice. Fiona is red. Harry is not kind. Harry is not nice. Harry is rough. All big, kind things are quiet. All nice things are big. Nice, quiet things are rough. Blue things are kind. If something is blue and red then it is nice. If something is kind then it is red. If Charlie is not blue then Charlie is not rough. If Charlie is not quiet then Charlie is kind.
Dave is big.