the fact that if the thorax is not a breakage then the uplift does not wake deckle does not hold.
sent1: if the deckle is a perfecter it does not wake countryman. sent2: that something is not a quarter is correct if that it does not wake thorax and it does not wake hypertext is incorrect. sent3: that that the deckle wakes countryman and does not wake deckle is not true is not incorrect if the uplift does not wake deckle. sent4: the thorax is a kind of a perfecter. sent5: the deckle wakes countryman if that it is not a breakage and does not wake deckle is not correct. sent6: the uplift does not wake deckle if the thorax is a breakage. sent7: that the fact that the uplift is not a perfecter and it does not wake countryman is not incorrect does not hold if that the deckle does not wake countryman hold. sent8: that the deckle does wake deckle but it does not wake countryman is wrong. sent9: the uplift is a kind of a breakage. sent10: if the uplift wakes countryman then the deckle does wake deckle. sent11: the fact that the uplift is not a kind of a perfecter but it does wake countryman is incorrect if the deckle does not wake countryman. sent12: the thorax does not wake deckle. sent13: if the deckle does wake countryman then the thorax is a kind of a breakage. sent14: the thorax is not a perfecter if it is a breakage. sent15: if that something is not a perfecter and does not wake countryman does not hold it does not wake deckle. sent16: that the uplift does not wake deckle hold if it wakes countryman. sent17: that the uplift does wake countryman but it is not a kind of a breakage is wrong if the fact that the thorax is not a breakage is not false.
void -> assump2: Let's assume that the deckle does wake countryman.; sent13 & assump2 -> int1: the thorax is a breakage.; void -> assump1: Let's assume that the thorax is not a breakage.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the deckle does not wake countryman.; int3 & sent7 -> int4: the fact that the uplift is not a perfecter and it does not wake countryman is wrong.; sent15 -> int5: if that the uplift is not a kind of a perfecter and it does not wake countryman does not hold it does not wake deckle.; int4 & int5 -> int6: the uplift does not wake deckle.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the fact that if the thorax is not a breakage then the uplift does not wake deckle does not hold. ; $context$ = sent1: if the deckle is a perfecter it does not wake countryman. sent2: that something is not a quarter is correct if that it does not wake thorax and it does not wake hypertext is incorrect. sent3: that that the deckle wakes countryman and does not wake deckle is not true is not incorrect if the uplift does not wake deckle. sent4: the thorax is a kind of a perfecter. sent5: the deckle wakes countryman if that it is not a breakage and does not wake deckle is not correct. sent6: the uplift does not wake deckle if the thorax is a breakage. sent7: that the fact that the uplift is not a perfecter and it does not wake countryman is not incorrect does not hold if that the deckle does not wake countryman hold. sent8: that the deckle does wake deckle but it does not wake countryman is wrong. sent9: the uplift is a kind of a breakage. sent10: if the uplift wakes countryman then the deckle does wake deckle. sent11: the fact that the uplift is not a kind of a perfecter but it does wake countryman is incorrect if the deckle does not wake countryman. sent12: the thorax does not wake deckle. sent13: if the deckle does wake countryman then the thorax is a kind of a breakage. sent14: the thorax is not a perfecter if it is a breakage. sent15: if that something is not a perfecter and does not wake countryman does not hold it does not wake deckle. sent16: that the uplift does not wake deckle hold if it wakes countryman. sent17: that the uplift does wake countryman but it is not a kind of a breakage is wrong if the fact that the thorax is not a breakage is not false. ; $proof$ = 
void -> assump2: Let's assume that the deckle does wake countryman.; sent13 & assump2 -> int1: the thorax is a breakage.; void -> assump1: Let's assume that the thorax is not a breakage.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the deckle does not wake countryman.; int3 & sent7 -> int4: the fact that the uplift is not a perfecter and it does not wake countryman is wrong.; sent15 -> int5: if that the uplift is not a kind of a perfecter and it does not wake countryman does not hold it does not wake deckle.; int4 & int5 -> int6: the uplift does not wake deckle.; [assump1] & int6 -> hypothesis; __DISPROVED__