Dave is cold. Dave is not nice. Dave is not rough. Dave is round. Dave is smart. Dave is white. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is round. Fiona is smart. Fiona is not white. If Fiona is smart then Fiona is rough. If someone is round and not nice then they are smart. Rough people are not white.
Fiona is not nice.