there is something such that if it letters orinasal then the fact that it is not a kind of a antipode hold.
sent1: something is not a Murrumbidgee if it does waste corporatist. sent2: something that does letter orinasal is not a antipode. sent3: if the parang letters orinasal then it is a antipode. sent4: there is something such that if it letters orinasal then it is a antipode.
sent2 -> int1: the parang is not a antipode if it letters orinasal.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it letters orinasal then the fact that it is not a kind of a antipode hold. ; $context$ = sent1: something is not a Murrumbidgee if it does waste corporatist. sent2: something that does letter orinasal is not a antipode. sent3: if the parang letters orinasal then it is a antipode. sent4: there is something such that if it letters orinasal then it is a antipode. ; $proof$ = 
sent2 -> int1: the parang is not a antipode if it letters orinasal.; int1 -> hypothesis; __PROVED__