Bob is nice. Bob is rough. Charlie is furry. Dave is smart. Harry is not big. Harry is nice. Harry is smart. If something is nice and big then it is not round. All round things are big. If Bob is smart then Bob is nice. If something is furry then it is round. Furry, big things are rough. If something is smart then it is red. If something is not furry then it is rough. If something is round and red then it is smart. If something is rough then it is red.
Dave is big.