the fact that if that the teredo is a kind of a drumbeat is correct the mineshaft is not a self-government but it is ripe is false.
sent1: the mineshaft is not a kind of a drumbeat. sent2: the mineshaft is a denotatum. sent3: the inspiration is a kind of non-ictal thing that is not a denotatum if that the mineshaft is a self-government is not false. sent4: if the inspiration is ripe then the mineshaft is not ictal and it does not bed-hop. sent5: the fact that if the mineshaft is a self-government the teredo is not ripe but it is a drumbeat hold. sent6: the teredo is a kind of a self-government that is a drumbeat. sent7: the mineshaft bed-hops. sent8: if the fact that something is not a drumbeat and does bed-hop does not hold that it is a drumbeat is not false. sent9: if the inspiration is not ictal and it is not a denotatum then the teredo is a kind of a drumbeat. sent10: the mineshaft is not a drumbeat if the teredo does not bed-hop and is not a self-government. sent11: if something is a self-government it is a denotatum. sent12: the inspiration is not a kind of a denotatum if the mineshaft is a self-government. sent13: if the inspiration is not ictal but it is a denotatum then the teredo is not a kind of a drumbeat. sent14: the inspiration is not a denotatum. sent15: the inspiration is both not a denotatum and not a self-government. sent16: the mineshaft is ripe and it does bed-hop. sent17: the teredo is not a drumbeat if the inspiration is not ictal and it is not a denotatum.
void -> assump1: Let's assume that that the mineshaft is a self-government is right.; sent3 & assump1 -> int1: the inspiration is not ictal and it is not a denotatum.; int1 & sent17 -> int2: the teredo is not a kind of a drumbeat.; void -> assump2: Let's assume that the teredo is a drumbeat.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the mineshaft is not a kind of a self-government hold.; sent16 -> int5: the mineshaft is ripe.; int4 & int5 -> int6: the mineshaft is not a self-government and is ripe.; [assump2] & int6 -> hypothesis;
the fact that the tallith is not a self-government is correct.
sent8 -> int7: the tallith is a drumbeat if that it is not a kind of a drumbeat and bed-hops is not right.;
$hypothesis$ = the fact that if that the teredo is a kind of a drumbeat is correct the mineshaft is not a self-government but it is ripe is false. ; $context$ = sent1: the mineshaft is not a kind of a drumbeat. sent2: the mineshaft is a denotatum. sent3: the inspiration is a kind of non-ictal thing that is not a denotatum if that the mineshaft is a self-government is not false. sent4: if the inspiration is ripe then the mineshaft is not ictal and it does not bed-hop. sent5: the fact that if the mineshaft is a self-government the teredo is not ripe but it is a drumbeat hold. sent6: the teredo is a kind of a self-government that is a drumbeat. sent7: the mineshaft bed-hops. sent8: if the fact that something is not a drumbeat and does bed-hop does not hold that it is a drumbeat is not false. sent9: if the inspiration is not ictal and it is not a denotatum then the teredo is a kind of a drumbeat. sent10: the mineshaft is not a drumbeat if the teredo does not bed-hop and is not a self-government. sent11: if something is a self-government it is a denotatum. sent12: the inspiration is not a kind of a denotatum if the mineshaft is a self-government. sent13: if the inspiration is not ictal but it is a denotatum then the teredo is not a kind of a drumbeat. sent14: the inspiration is not a denotatum. sent15: the inspiration is both not a denotatum and not a self-government. sent16: the mineshaft is ripe and it does bed-hop. sent17: the teredo is not a drumbeat if the inspiration is not ictal and it is not a denotatum. ; $proof$ = 
void -> assump1: Let's assume that that the mineshaft is a self-government is right.; sent3 & assump1 -> int1: the inspiration is not ictal and it is not a denotatum.; int1 & sent17 -> int2: the teredo is not a kind of a drumbeat.; void -> assump2: Let's assume that the teredo is a drumbeat.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the mineshaft is not a kind of a self-government hold.; sent16 -> int5: the mineshaft is ripe.; int4 & int5 -> int6: the mineshaft is not a self-government and is ripe.; [assump2] & int6 -> hypothesis; __DISPROVED__