Bob is big. Bob is green. Bob is kind. Bob is not white. Dave is big. Dave is kind. Dave is rough. Dave is smart. Gary is big. Gary is not green. Gary is kind. Gary is smart. Gary is white. Harry is green. Harry is rough. Harry is white. Big things are round. If something is round and not big then it is smart. All round things are rough.
Harry is not kind.