Bob is blue. Bob is furry. Bob is green. Bob is nice. Bob is not white. Dave is nice. Dave is round. Erin is not furry. Fiona is blue. Fiona is furry. Fiona is rough. Fiona is round. All blue things are round. If something is not white then it is blue. If Erin is blue then Erin is nice. All round things are rough. All furry things are blue. If something is round and not rough then it is nice.
Erin is not nice.