Anne is big. Anne is rough. Dave is smart. Dave is young. Fiona is smart. Gary is blue. Gary is kind. All round things are young. If something is kind then it is big. All rough things are blue. All smart things are rough. If something is young and not smart then it is kind. If something is blue and big then it is round. Rough things are kind. If something is big and not kind then it is rough.
Dave is not rough.