Anne is big. Anne is rough. Bob is big. Bob is cold. Bob is smart. Dave is cold. Dave is kind. Dave is rough. Dave is round. Dave is smart. Erin is rough. Erin is white. All kind, round things are white. Kind things are smart. If something is kind then it is rough. All big, rough things are kind. White things are round. If something is cold then it is white. Rough things are big. If something is round then it is rough.
Dave is not round.