that there is something such that if it is not a low-warp-loom it is not a Cordylus is not correct.
sent1: something is not a low-warp-loom if it is not poetics. sent2: there is something such that if it does not brief frypan then it is not a territoriality. sent3: if the metronidazole is not a kind of a low-warp-loom it is a Cordylus. sent4: if the fact that the metronidazole is a low-warp-loom is not wrong it is not a kind of a Cordylus. sent5: the oxytetracycline is a Cordylus if it does not impinge gaffer. sent6: the pleurocarp is not a tribesman if it is not a low-warp-loom. sent7: the metronidazole is not a Cordylus if it is not a low-warp-loom. sent8: there is something such that if it is not a kind of an atheist it does not impinge Bartok. sent9: there exists something such that if it is not a kind of a backhanded then that it does not peruse partygoer is right. sent10: there exists something such that if it is a low-warp-loom then it is not a kind of a Cordylus. sent11: if something is not unshod it is not sedimentary. sent12: there exists something such that if it is not a low-warp-loom it is a kind of a Cordylus.
sent7 -> hypothesis;
the fact that there exists something such that if the fact that it is not unshod is not incorrect it is not sedimentary is not incorrect.
sent11 -> int1: the green is not sedimentary if it is not unshod.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it is not a low-warp-loom it is not a Cordylus is not correct. ; $context$ = sent1: something is not a low-warp-loom if it is not poetics. sent2: there is something such that if it does not brief frypan then it is not a territoriality. sent3: if the metronidazole is not a kind of a low-warp-loom it is a Cordylus. sent4: if the fact that the metronidazole is a low-warp-loom is not wrong it is not a kind of a Cordylus. sent5: the oxytetracycline is a Cordylus if it does not impinge gaffer. sent6: the pleurocarp is not a tribesman if it is not a low-warp-loom. sent7: the metronidazole is not a Cordylus if it is not a low-warp-loom. sent8: there is something such that if it is not a kind of an atheist it does not impinge Bartok. sent9: there exists something such that if it is not a kind of a backhanded then that it does not peruse partygoer is right. sent10: there exists something such that if it is a low-warp-loom then it is not a kind of a Cordylus. sent11: if something is not unshod it is not sedimentary. sent12: there exists something such that if it is not a low-warp-loom it is a kind of a Cordylus. ; $proof$ = 
sent7 -> hypothesis; __DISPROVED__