the fact that that the fact that not the restarting science but the prognathousness happens is wrong is true if the Reconstruction occurs is incorrect.
sent1: the fact that the Reconstruction occurs is not incorrect if the accident occurs and the puncturelessness happens. sent2: the fact that not the restarting Microchiroptera but the playback occurs is not right if the including Gropius does not occur. sent3: that the inefficientness happens is true. sent4: that the cartoon does not occur but the unreliableness occurs is not true. sent5: not the electrolyticness but the rendezvousing happens if the secularness happens. sent6: the fact that not the restarting science but the prognathousness happens is wrong if the puncturelessness does not occur. sent7: that the Reconstruction does not occur is brought about by that the accident and the puncturelessness occurs. sent8: if the prognathousness but not the Reconstruction occurs then the accident does not occur. sent9: that the restarting science happens and the prognathousness happens is not right if the Reconstruction happens. sent10: the including Gropius occurs and the accident occurs. sent11: if the accident does not occur the fact that both the including Gropius and the puncturelessness happens does not hold.
void -> assump1: Let's assume that the Reconstruction occurs.; sent10 -> int1: the accident occurs.; void -> assump2: Let's assume that the puncturelessness happens.; int1 & assump2 -> int2: the accident and the puncturelessness happens.; sent7 & int2 -> int3: the Reconstruction does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the puncturelessness does not occur.; sent6 & int5 -> int6: that the restarting science does not occur and the prognathousness occurs is false.; [assump1] & int6 -> hypothesis;
that not the restarting Microchiroptera but the playback happens does not hold.
$hypothesis$ = the fact that that the fact that not the restarting science but the prognathousness happens is wrong is true if the Reconstruction occurs is incorrect. ; $context$ = sent1: the fact that the Reconstruction occurs is not incorrect if the accident occurs and the puncturelessness happens. sent2: the fact that not the restarting Microchiroptera but the playback occurs is not right if the including Gropius does not occur. sent3: that the inefficientness happens is true. sent4: that the cartoon does not occur but the unreliableness occurs is not true. sent5: not the electrolyticness but the rendezvousing happens if the secularness happens. sent6: the fact that not the restarting science but the prognathousness happens is wrong if the puncturelessness does not occur. sent7: that the Reconstruction does not occur is brought about by that the accident and the puncturelessness occurs. sent8: if the prognathousness but not the Reconstruction occurs then the accident does not occur. sent9: that the restarting science happens and the prognathousness happens is not right if the Reconstruction happens. sent10: the including Gropius occurs and the accident occurs. sent11: if the accident does not occur the fact that both the including Gropius and the puncturelessness happens does not hold. ; $proof$ = 
void -> assump1: Let's assume that the Reconstruction occurs.; sent10 -> int1: the accident occurs.; void -> assump2: Let's assume that the puncturelessness happens.; int1 & assump2 -> int2: the accident and the puncturelessness happens.; sent7 & int2 -> int3: the Reconstruction does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the puncturelessness does not occur.; sent6 & int5 -> int6: that the restarting science does not occur and the prognathousness occurs is false.; [assump1] & int6 -> hypothesis; __DISPROVED__