that the non-Boeotianness and the retracting happens is wrong.
sent1: if the impinging papier-mache does not occur then the fact that the Boeotianness and the retracting happens is wrong. sent2: the fact that that the velarness occurs results in that the Boeotianness does not occur but the briefing calyx happens hold. sent3: that the non-Boeotianness and the retracting happens is incorrect if the impinging papier-mache does not occur. sent4: that the archangelicness happens prevents that the impinging papier-mache does not occur. sent5: if the overhead does not occur the fact that the biosystematicness but not the microscopy occurs is wrong. sent6: if the conditioner does not occur the fact that the lacrimalness occurs and the stressing happens is wrong. sent7: the biosystematicness happens but the microscopy does not occur. sent8: the adoration does not occur if the overhead occurs and/or the polling occurs. sent9: that the polling does not occur but the overheadness occurs is not correct if the adoration occurs. sent10: the impinging papier-mache does not occur if either the adoration does not occur or the briefing calyx happens or both. sent11: if the fact that the fact that not the polls but the overheadness happens is incorrect hold then the retracting occurs. sent12: that the adoration occurs is caused by that the adoration happens and/or that the perusing horizontality does not occur.
void -> assump1: Let's assume that the overheadness does not occur.; sent5 & assump1 -> int1: the fact that the biosystematicness happens but the microscopy does not occur is not true.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the overheadness occurs.; int3 -> int4: the overheadness occurs and/or the polls happens.; int4 & sent8 -> int5: the adoration does not occur.; int5 -> int6: the adoration does not occur and/or the briefing calyx occurs.; int6 & sent10 -> int7: the fact that the impinging papier-mache does not occur is right.; int7 & sent3 -> hypothesis;
the Boeotianness does not occur and the retracting happens.
$hypothesis$ = that the non-Boeotianness and the retracting happens is wrong. ; $context$ = sent1: if the impinging papier-mache does not occur then the fact that the Boeotianness and the retracting happens is wrong. sent2: the fact that that the velarness occurs results in that the Boeotianness does not occur but the briefing calyx happens hold. sent3: that the non-Boeotianness and the retracting happens is incorrect if the impinging papier-mache does not occur. sent4: that the archangelicness happens prevents that the impinging papier-mache does not occur. sent5: if the overhead does not occur the fact that the biosystematicness but not the microscopy occurs is wrong. sent6: if the conditioner does not occur the fact that the lacrimalness occurs and the stressing happens is wrong. sent7: the biosystematicness happens but the microscopy does not occur. sent8: the adoration does not occur if the overhead occurs and/or the polling occurs. sent9: that the polling does not occur but the overheadness occurs is not correct if the adoration occurs. sent10: the impinging papier-mache does not occur if either the adoration does not occur or the briefing calyx happens or both. sent11: if the fact that the fact that not the polls but the overheadness happens is incorrect hold then the retracting occurs. sent12: that the adoration occurs is caused by that the adoration happens and/or that the perusing horizontality does not occur. ; $proof$ = 
void -> assump1: Let's assume that the overheadness does not occur.; sent5 & assump1 -> int1: the fact that the biosystematicness happens but the microscopy does not occur is not true.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the overheadness occurs.; int3 -> int4: the overheadness occurs and/or the polls happens.; int4 & sent8 -> int5: the adoration does not occur.; int5 -> int6: the adoration does not occur and/or the briefing calyx occurs.; int6 & sent10 -> int7: the fact that the impinging papier-mache does not occur is right.; int7 & sent3 -> hypothesis; __PROVED__