the TRH is hemispherical.
sent1: if something is a ready-to-wear then it is hemispherical. sent2: if something is cartographic then the TRH is a ready-to-wear and a unfitness. sent3: the outdoorswoman is a capitalist if it is a unfitness.
sent1 -> int1: if the fact that the TRH is not a ready-to-wear does not hold then it is hemispherical.;
$hypothesis$ = the TRH is hemispherical. ; $context$ = sent1: if something is a ready-to-wear then it is hemispherical. sent2: if something is cartographic then the TRH is a ready-to-wear and a unfitness. sent3: the outdoorswoman is a capitalist if it is a unfitness. ; $proof$ = 
sent1 -> int1: if the fact that the TRH is not a ready-to-wear does not hold then it is hemispherical.; __UNKNOWN__