Anne is red. Anne is rough. Anne is round. Anne is smart. Anne is young. Charlie is cold. Charlie is rough. Charlie is round. Charlie is smart. Dave is not big. Dave is cold. Dave is red. Dave is rough. Dave is round. Dave is smart. Dave is young. If Charlie is young and Charlie is cold then Charlie is round. If someone is not rough then they are big. If someone is round and not big then they are young.
Dave is smart.