that there exists something such that if it does not block polypropylene and is not a kind of a fool then it is pyrotechnic is not correct.
sent1: there exists something such that if it blocks polypropylene and is not a fool it is pyrotechnic. sent2: that if the rutile does not block polypropylene and it is not the fool the rutile is pyrotechnic is correct.
sent2 -> hypothesis;
$hypothesis$ = that there exists something such that if it does not block polypropylene and is not a kind of a fool then it is pyrotechnic is not correct. ; $context$ = sent1: there exists something such that if it blocks polypropylene and is not a fool it is pyrotechnic. sent2: that if the rutile does not block polypropylene and it is not the fool the rutile is pyrotechnic is correct. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__