Dave is big. Dave is not cold. Dave is green. Dave is quiet. Dave is rough. Dave is round. Dave is young. Fiona is big. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is young. If Dave is rough and Dave is not green then Dave is quiet. All young people are big. Big people are young. All quiet people are big. If someone is round and not young then they are cold. If someone is not cold then they are rough.
Fiona is not rough.