Anne is blue. Anne is furry. Anne is smart. Bob is not furry. Bob is rough. Bob is round. Bob is smart. Dave is blue. Dave is cold. Dave is smart. Dave is young. Fiona is cold. All round things are smart. All cold things are blue. All rough things are round. All smart things are young. If Dave is blue and Dave is furry then Dave is cold. Smart things are round. Blue things are rough.
Fiona is not smart.