Anne is big. Anne is green. Anne is nice. Anne is quiet. Anne is red. Charlie is big. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is rough. Dave is big. Dave is nice. Dave is quiet. Dave is red. Dave is rough. If Anne is kind and Anne is rough then Anne is red. Big, nice things are quiet. If Anne is nice then Anne is rough. Quiet, rough things are kind. Kind things are green. All rough, big things are red.
Dave is rough.