Anne is big. Anne is kind. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Anne is white. Bob is nice. Charlie is big. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is white. Dave is quiet. Dave is white. All red, white things are nice. All big things are kind. If something is red then it is quiet. Rough things are red. Quiet things are white. All nice, big things are rough. All nice things are big. If something is kind and quiet then it is rough. If Dave is kind then Dave is red.
Bob is not rough.