Anne is kind. Anne is round. Bob is big. Bob is green. Bob is kind. Bob is rough. Bob is round. Bob is smart. Dave is big. Dave is green. Dave is round. Gary is smart. All rough, green people are round. If someone is smart then they are big. All rough, red people are not big. If someone is kind and smart then they are rough. If Gary is big then Gary is green. All green people are rough. Rough, round people are kind. If someone is not kind then they are round.
Gary is not red.