Bob is furry. Bob is young. Dave is kind. Dave is red. Gary is round. Harry is big. Harry is round. If Harry is red and Harry is rough then Harry is furry. If something is not big then it is kind. Young things are kind. If something is red then it is round. If something is young then it is rough. If Harry is red then Harry is round. If Bob is big and Bob is furry then Bob is not rough. If Dave is not rough then Dave is not young.
Dave is red.