Anne is rough. Anne is smart. Bob is big. Dave is kind. Dave is nice. Dave is rough. Dave is smart. Fiona is big. Fiona is nice. Fiona is red. Fiona is smart. If someone is quiet then they are rough. All red people are smart. If someone is nice then they are red. If someone is not kind then they are red. If someone is nice then they are quiet. If someone is rough then they are nice. Smart, big people are nice. All smart, red people are nice. If someone is red and not nice then they are quiet.
Dave is not rough.