there exists something such that if it is a loving it does roll usurper.
sent1: the Masonite does roll usurper if it trucks Copehan. sent2: there is something such that if it is a phenothiazine then it splurges. sent3: if the loupe loves it does roll usurper. sent4: if the bimetallist rolls usurper it is tactile. sent5: there exists something such that if it is nonintellectual it is prepositional. sent6: something that is zonal does roll sawfly. sent7: there is something such that if that it is a riskiness hold then it does truck inhalant. sent8: there is something such that if it does truck bigoted it rolls bullfrog.
sent3 -> hypothesis;
there is something such that if it is zonal it does roll sawfly.
sent6 -> int1: if that the turnspit is zonal is not wrong it does roll sawfly.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is a loving it does roll usurper. ; $context$ = sent1: the Masonite does roll usurper if it trucks Copehan. sent2: there is something such that if it is a phenothiazine then it splurges. sent3: if the loupe loves it does roll usurper. sent4: if the bimetallist rolls usurper it is tactile. sent5: there exists something such that if it is nonintellectual it is prepositional. sent6: something that is zonal does roll sawfly. sent7: there is something such that if that it is a riskiness hold then it does truck inhalant. sent8: there is something such that if it does truck bigoted it rolls bullfrog. ; $proof$ = 
sent3 -> hypothesis; __PROVED__