Bob is green. Dave is white. Fiona is round. Harry is rough. If Dave is round then Dave is green. If something is green then it is round. Rough, kind things are round. Rough, green things are kind. All green things are round. All kind things are round.
Fiona is not rough.