Bob is red. Bob is rough. Dave is not rough. Dave is round. Erin is smart. Fiona is rough. Fiona is smart. If something is not furry then it is kind. Smart, red things are kind. If something is kind and not red then it is not furry. All smart things are round. All smart things are rough. If something is furry and not round then it is smart.
Dave is not rough.