Anne is round. Bob is white. Dave is cold. Dave is smart. Fiona is round. Fiona is smart. Fiona is not white. All round people are nice. All white people are round. All round, cold people are green. If Anne is not smart then Anne is not white. If Bob is cold then Bob is round. Nice, smart people are rough. Rough, cold people are white. If someone is smart then they are nice.
Dave is not rough.