the fact that there is something such that if the fact that it is both not a prop and a voltmeter is false it is a kind of a Eight does not hold.
sent1: there exists something such that if it is not a prop and is a kind of a voltmeter it is a Eight. sent2: there is something such that if it is a prop it is a kind of a Eight. sent3: if the flight is not a prop but a voltmeter it is a Eight. sent4: the flight is a Eight if that it is a prop and it is a kind of a voltmeter is not correct. sent5: there exists something such that if that it is a kind of a prop and it is a voltmeter is not correct then it is a kind of a Eight. sent6: the flight is a kind of a Eight if that it is both not a prop and a voltmeter is not correct. sent7: there is something such that if that it is not phalangeal and it is a Luxemburger is not right then it does hunger appetizer. sent8: if the flight is not a voltmeter it is a Eight.
sent6 -> hypothesis;
$hypothesis$ = the fact that there is something such that if the fact that it is both not a prop and a voltmeter is false it is a kind of a Eight does not hold. ; $context$ = sent1: there exists something such that if it is not a prop and is a kind of a voltmeter it is a Eight. sent2: there is something such that if it is a prop it is a kind of a Eight. sent3: if the flight is not a prop but a voltmeter it is a Eight. sent4: the flight is a Eight if that it is a prop and it is a kind of a voltmeter is not correct. sent5: there exists something such that if that it is a kind of a prop and it is a voltmeter is not correct then it is a kind of a Eight. sent6: the flight is a kind of a Eight if that it is both not a prop and a voltmeter is not correct. sent7: there is something such that if that it is not phalangeal and it is a Luxemburger is not right then it does hunger appetizer. sent8: if the flight is not a voltmeter it is a Eight. ; $proof$ = 
sent6 -> hypothesis; __DISPROVED__