the fact that there exists something such that if it is a kind of a crockery that does not deflower rhodopsin then it jackets Nazareth is wrong.
sent1: there exists something such that if it is a kind of a crockery and it does deflower rhodopsin it does jacket Nazareth. sent2: if a psalmody is not bladdery it is a rhythmicity. sent3: if the ironworks is a crockery and does not deflower rhodopsin then it does jacket Nazareth. sent4: the ironworks jackets Nazareth if it is a kind of a crockery and it does deflower rhodopsin. sent5: there is something such that if it does palatalize unsatisfactoriness and it does not jacket ironworks it does deflower browntail.
sent3 -> hypothesis;
there is something such that if it is a psalmody and it is not bladdery it is a rhythmicity.
sent2 -> int1: that the browntail is not a rhythmicity does not hold if it is a kind of a psalmody and it is not bladdery.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is a kind of a crockery that does not deflower rhodopsin then it jackets Nazareth is wrong. ; $context$ = sent1: there exists something such that if it is a kind of a crockery and it does deflower rhodopsin it does jacket Nazareth. sent2: if a psalmody is not bladdery it is a rhythmicity. sent3: if the ironworks is a crockery and does not deflower rhodopsin then it does jacket Nazareth. sent4: the ironworks jackets Nazareth if it is a kind of a crockery and it does deflower rhodopsin. sent5: there is something such that if it does palatalize unsatisfactoriness and it does not jacket ironworks it does deflower browntail. ; $proof$ = 
sent3 -> hypothesis; __DISPROVED__