that there exists something such that if the fact that it is both not a NIPR and not smaller is not correct then it does not heap sitter is false.
sent1: if the fact that something is not a kind of a NIPR and it is not smaller is not right it does not heap sitter. sent2: if the fact that something is not a kind of a NIPR and it is not smaller does not hold it heaps sitter.
sent1 -> int1: the fact that the sitter does not heap sitter hold if that it is not a kind of a NIPR and it is not smaller is not correct.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if the fact that it is both not a NIPR and not smaller is not correct then it does not heap sitter is false. ; $context$ = sent1: if the fact that something is not a kind of a NIPR and it is not smaller is not right it does not heap sitter. sent2: if the fact that something is not a kind of a NIPR and it is not smaller does not hold it heaps sitter. ; $proof$ = 
sent1 -> int1: the fact that the sitter does not heap sitter hold if that it is not a kind of a NIPR and it is not smaller is not correct.; int1 -> hypothesis; __DISPROVED__