Anne is rough. Dave is red. Fiona is rough. All kind things are red. All quiet things are kind. If Dave is rough then Dave is furry. If Fiona is kind and Fiona is nice then Fiona is rough. Nice, rough things are red. If something is rough then it is nice. If something is quiet and nice then it is red. All blue, kind things are rough.
Dave is not nice.