Bob is kind. Bob is red. Bob is rough. Bob is smart. Dave is cold. Dave is kind. Dave is young. Fiona is red. Fiona is round. Fiona is smart. If Bob is round then Bob is red. Cold, rough things are kind. If something is round and rough then it is smart. Young things are rough. Rough things are cold. All rough, young things are cold. All young, rough things are round. If Fiona is kind then Fiona is red.
Fiona is not kind.