there exists something such that if it does not network plenipotentiary then the fact that it outshouts meed and it is a landlord is false.
sent1: if something does not network inhospitality then the fact that it is thermometric and it does sediment picornavirus is incorrect. sent2: if the Phrygian does not network plenipotentiary the fact that it outshouts meed and it is a kind of a landlord does not hold.
sent2 -> hypothesis;
there exists something such that if that it does not network inhospitality is correct the fact that it is thermometric and does sediment picornavirus is not true.
sent1 -> int1: if the suit does not network inhospitality then the fact that it is thermometric and sediments picornavirus is not true.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it does not network plenipotentiary then the fact that it outshouts meed and it is a landlord is false. ; $context$ = sent1: if something does not network inhospitality then the fact that it is thermometric and it does sediment picornavirus is incorrect. sent2: if the Phrygian does not network plenipotentiary the fact that it outshouts meed and it is a kind of a landlord does not hold. ; $proof$ = 
sent2 -> hypothesis; __PROVED__