Anne is nice. Anne is rough. Anne is smart. Bob is big. Bob is green. Erin is green. Erin is red. Erin is round. Gary is green. Gary is red. If Anne is green and Anne is round then Anne is big. Nice people are rough. Smart people are red. All rough, nice people are round. Round people are green. If someone is green then they are rough.
Gary is not round.