that there exists something such that if it is interfacial then it is not a salesperson and it is non-dormant does not hold.
sent1: if the radiogram is xerographic it is not a premium and it is not dormant. sent2: there is something such that if the fact that it uncoils receptionist is not false it is not a parturiency and it is not a kind of a dialectic. sent3: there exists something such that if it does harangue sale then the fact that it is not an instructions is correct. sent4: that there exists something such that if it does dally it is not a kind of a comprehensiveness hold. sent5: there exists something such that if that it is interfacial hold it is not a kind of a salesperson and it is dormant. sent6: if the radiogram is interfacial then it is not a salesperson and it is not dormant. sent7: if something is arithmetical it is both not a whitelash and not righteous.
sent6 -> hypothesis;
there exists something such that if it is arithmetical then it is both not a whitelash and unrighteous.
sent7 -> int1: if the VDU is arithmetical it is not a kind of a whitelash and it is unrighteous.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if it is interfacial then it is not a salesperson and it is non-dormant does not hold. ; $context$ = sent1: if the radiogram is xerographic it is not a premium and it is not dormant. sent2: there is something such that if the fact that it uncoils receptionist is not false it is not a parturiency and it is not a kind of a dialectic. sent3: there exists something such that if it does harangue sale then the fact that it is not an instructions is correct. sent4: that there exists something such that if it does dally it is not a kind of a comprehensiveness hold. sent5: there exists something such that if that it is interfacial hold it is not a kind of a salesperson and it is dormant. sent6: if the radiogram is interfacial then it is not a salesperson and it is not dormant. sent7: if something is arithmetical it is both not a whitelash and not righteous. ; $proof$ = 
sent6 -> hypothesis; __DISPROVED__