that that there is something such that if it is a kind of a armature that does not Simonize subcontract then it is not a Bantu is true does not hold.
sent1: if the testator does open nihilism and is not horticultural it does unbutton Capitonidae. sent2: there is something such that if it is a armature that does not Simonize subcontract it is a Bantu. sent3: the sprocket is not a kind of a Bantu if it is a kind of a armature and does Simonize subcontract. sent4: if something does nobble and is not a aeroembolism then the fact that it does not dock is right. sent5: if the sprocket is a armature but it does not Simonize subcontract it is a kind of a Bantu. sent6: the fact that the sprocket is not Bantu if the sprocket is a armature that does not Simonize subcontract is true. sent7: there exists something such that if it is uric and it does not Simonize rutherfordium then it is not stingless. sent8: there exists something such that if it is oracular and it is not an exclusive it is not a emolument. sent9: there exists something such that if it is a armature and Simonizes subcontract then it is not a Bantu.
sent6 -> hypothesis;
there exists something such that if it does nobble and is not a kind of a aeroembolism it is not a dock.
sent4 -> int1: if the cantor nobbles and is not a kind of a aeroembolism it is not a dock.; int1 -> hypothesis;
$hypothesis$ = that that there is something such that if it is a kind of a armature that does not Simonize subcontract then it is not a Bantu is true does not hold. ; $context$ = sent1: if the testator does open nihilism and is not horticultural it does unbutton Capitonidae. sent2: there is something such that if it is a armature that does not Simonize subcontract it is a Bantu. sent3: the sprocket is not a kind of a Bantu if it is a kind of a armature and does Simonize subcontract. sent4: if something does nobble and is not a aeroembolism then the fact that it does not dock is right. sent5: if the sprocket is a armature but it does not Simonize subcontract it is a kind of a Bantu. sent6: the fact that the sprocket is not Bantu if the sprocket is a armature that does not Simonize subcontract is true. sent7: there exists something such that if it is uric and it does not Simonize rutherfordium then it is not stingless. sent8: there exists something such that if it is oracular and it is not an exclusive it is not a emolument. sent9: there exists something such that if it is a armature and Simonizes subcontract then it is not a Bantu. ; $proof$ = 
sent6 -> hypothesis; __DISPROVED__