Anne is kind. Anne is quiet. Charlie is big. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Dave is big. Dave is kind. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Dave is round. Fiona is quiet. All quiet things are rough. If something is round and red then it is rough. All quiet things are nice. If something is quiet then it is round. If something is nice and rough then it is red. If something is rough then it is quiet.
Dave is red.