that there is something such that if the fact that it is non-fibrocalcific and it is not a stalk does not hold it does bawl is not right.
sent1: if that the Sorbian is a kind of non-fibrocalcific thing that is not a stalk is not right it bawls. sent2: if that the slumgullion is non-vertical but it does bawl is not correct it is a weekday. sent3: something does permute chalcidfly if the fact that it is not heavenly and does not cannon is false. sent4: there exists something such that if the fact that it is fibrocalcific and it does not stalk is not true it bawls. sent5: the Sorbian is inconvenient if that it is not a termite and does sentimentalise does not hold.
sent1 -> hypothesis;
the fact that there is something such that if that it is non-heavenly thing that is not a kind of a cannon does not hold then that it does permute chalcidfly is true is not wrong.
sent3 -> int1: the nine-spot does permute chalcidfly if the fact that it is not heavenly and does not cannon is not true.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if the fact that it is non-fibrocalcific and it is not a stalk does not hold it does bawl is not right. ; $context$ = sent1: if that the Sorbian is a kind of non-fibrocalcific thing that is not a stalk is not right it bawls. sent2: if that the slumgullion is non-vertical but it does bawl is not correct it is a weekday. sent3: something does permute chalcidfly if the fact that it is not heavenly and does not cannon is false. sent4: there exists something such that if the fact that it is fibrocalcific and it does not stalk is not true it bawls. sent5: the Sorbian is inconvenient if that it is not a termite and does sentimentalise does not hold. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__