that if the bumbling woodenware occurs the radiologicalness happens is not right.
sent1: the non-cartographicness results in that the hurdle and the radiologicalness happens. sent2: if the Serbian does not occur then the corrections does not occur and the returning does not occur. sent3: the blockade does not occur. sent4: the non-Balticness and the non-unnoticeableness occurs. sent5: the portrayal does not occur if the fact that that the radiologicalness does not occur but the cartographicness occurs does not hold is not false. sent6: if the radiologicalness does not occur the fact that the conciseness does not occur hold. sent7: the eudemonicness happens. sent8: the Rembrandtesqueness does not occur and the booting perjury does not occur. sent9: that not the booting Libra but the booting barn happens is triggered by that the Gaussianness does not occur. sent10: if the fact that the radiologicalness occurs is correct then the conciseness does not occur and the bumbling woodenware does not occur. sent11: the conciseness does not occur. sent12: the unstuckness occurs. sent13: the granulating does not occur and the smacker occurs if the hold does not occur. sent14: the Anglicism does not occur and the Gaussianness does not occur. sent15: that the radiologicalness does not occur yields that the non-conciseness and the bumbling woodenware happens. sent16: the portrayal does not occur. sent17: that the conciseness does not occur and the bumbling woodenware does not occur is brought about by the non-radiologicalness.
void -> assump1: Let's assume that the radiologicalness does not occur.; sent17 & assump1 -> int1: the conciseness does not occur and the bumbling woodenware does not occur.; int1 -> int2: that the bumbling woodenware does not occur hold.; void -> assump2: Let's assume that the fact that the bumbling woodenware happens is true.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the radiologicalness happens.; [assump2] & int4 -> hypothesis;
the portrayal does not occur and the booting Mammut does not occur.
$hypothesis$ = that if the bumbling woodenware occurs the radiologicalness happens is not right. ; $context$ = sent1: the non-cartographicness results in that the hurdle and the radiologicalness happens. sent2: if the Serbian does not occur then the corrections does not occur and the returning does not occur. sent3: the blockade does not occur. sent4: the non-Balticness and the non-unnoticeableness occurs. sent5: the portrayal does not occur if the fact that that the radiologicalness does not occur but the cartographicness occurs does not hold is not false. sent6: if the radiologicalness does not occur the fact that the conciseness does not occur hold. sent7: the eudemonicness happens. sent8: the Rembrandtesqueness does not occur and the booting perjury does not occur. sent9: that not the booting Libra but the booting barn happens is triggered by that the Gaussianness does not occur. sent10: if the fact that the radiologicalness occurs is correct then the conciseness does not occur and the bumbling woodenware does not occur. sent11: the conciseness does not occur. sent12: the unstuckness occurs. sent13: the granulating does not occur and the smacker occurs if the hold does not occur. sent14: the Anglicism does not occur and the Gaussianness does not occur. sent15: that the radiologicalness does not occur yields that the non-conciseness and the bumbling woodenware happens. sent16: the portrayal does not occur. sent17: that the conciseness does not occur and the bumbling woodenware does not occur is brought about by the non-radiologicalness. ; $proof$ = 
void -> assump1: Let's assume that the radiologicalness does not occur.; sent17 & assump1 -> int1: the conciseness does not occur and the bumbling woodenware does not occur.; int1 -> int2: that the bumbling woodenware does not occur hold.; void -> assump2: Let's assume that the fact that the bumbling woodenware happens is true.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the radiologicalness happens.; [assump2] & int4 -> hypothesis; __DISPROVED__