Dave is big. Dave is cold. Dave is green. Dave is smart. Fiona is big. Fiona is cold. Fiona is kind. Fiona is not quiet. Fiona is rough. Fiona is not smart. Gary is big. Gary is green. Gary is kind. Gary is quiet. Gary is rough. Gary is smart. All rough, kind people are green. If someone is rough and not kind then they are quiet. If Gary is green and Gary is not kind then Gary is quiet.
Fiona is smart.