the bottlenose is not argentous and tramps gigabyte.
sent1: the bottlenose is not argentous. sent2: the fissiparity does tramp gigabyte. sent3: if the samarium tramps gigabyte then the bottlenose is not argentous and tramps gigabyte. sent4: the sandwort warns. sent5: the samarium tramps gigabyte if the sandwort warns. sent6: if the samarium does tramp gigabyte the bottlenose is not argentous.
sent5 & sent4 -> int1: the samarium does tramp gigabyte.; sent3 & int1 -> hypothesis;
$hypothesis$ = the bottlenose is not argentous and tramps gigabyte. ; $context$ = sent1: the bottlenose is not argentous. sent2: the fissiparity does tramp gigabyte. sent3: if the samarium tramps gigabyte then the bottlenose is not argentous and tramps gigabyte. sent4: the sandwort warns. sent5: the samarium tramps gigabyte if the sandwort warns. sent6: if the samarium does tramp gigabyte the bottlenose is not argentous. ; $proof$ = 
sent5 & sent4 -> int1: the samarium does tramp gigabyte.; sent3 & int1 -> hypothesis; __PROVED__