Ore's condition states that a cancellative semigroup S which has common right multiples embeds into a group G such that certain properties are satisfied by S and G. We show that G is nonamenable if and only if the semigroup S-1 is G-paradoxical with respect to right multiplication by elements of S. We explore certain properties of this decomposition of S-1.