Anne is big. Anne is kind. Anne is nice. Anne is rough. Anne is young. Bob is big. Bob is kind. Bob is nice. Bob is rough. Gary is nice. Gary is rough. Gary is young. All kind, nice people are smart. If Gary is green and Gary is rough then Gary is kind. If Gary is nice and Gary is rough then Gary is green.
Bob is big.