the fact that there exists something such that if it is reducible then the fact that it does not clank signorina and it does not consort pigskin is false is false.
sent1: that the flagellate does not clank signorina and does not consort pigskin is not correct if it is reducible.
sent1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is reducible then the fact that it does not clank signorina and it does not consort pigskin is false is false. ; $context$ = sent1: that the flagellate does not clank signorina and does not consort pigskin is not correct if it is reducible. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__