the frying and the offingness happens.
sent1: the volatileness does not occur and the knockout does not occur. sent2: if that the flabbergasting gamesmanship does not occur is correct then the Set occurs. sent3: the ether does not occur. sent4: the discomycetousness occurs if the chloroticness does not occur. sent5: if the flabbergasting gamesmanship does not occur the offingness and the Set occurs. sent6: that the transforming does not occur leads to that both the strangulating nativeness and the collecting longbow happens. sent7: the inconsistentness results in that the flabbergasting gamesmanship does not occur. sent8: the fact that the inconsistentness happens is not incorrect. sent9: the fact that the bioelectricity does not occur and the collecting sophistication does not occur is not correct if the fact that the Ethiopianness occurs is true. sent10: that the Biedermeierness occurs is not incorrect. sent11: the bioelectricity does not occur and the collecting sophistication does not occur. sent12: the non-Ethiopianness brings about that the frying occurs.
void -> assump1: Let's assume that the Ethiopian occurs.; sent9 & assump1 -> int1: the fact that the bioelectricity does not occur and the collecting sophistication does not occur is wrong.; int1 & sent11 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Ethiopianness does not occur.; int3 & sent12 -> int4: the frying happens.; sent7 & sent8 -> int5: the flabbergasting gamesmanship does not occur.; sent5 & int5 -> int6: the offingness and the Set happens.; int6 -> int7: the fact that the offingness occurs is not false.; int4 & int7 -> hypothesis;
the fact that the frying occurs and the offingness happens is false.
 -> hypothesis;
$hypothesis$ = the frying and the offingness happens. ; $context$ = sent1: the volatileness does not occur and the knockout does not occur. sent2: if that the flabbergasting gamesmanship does not occur is correct then the Set occurs. sent3: the ether does not occur. sent4: the discomycetousness occurs if the chloroticness does not occur. sent5: if the flabbergasting gamesmanship does not occur the offingness and the Set occurs. sent6: that the transforming does not occur leads to that both the strangulating nativeness and the collecting longbow happens. sent7: the inconsistentness results in that the flabbergasting gamesmanship does not occur. sent8: the fact that the inconsistentness happens is not incorrect. sent9: the fact that the bioelectricity does not occur and the collecting sophistication does not occur is not correct if the fact that the Ethiopianness occurs is true. sent10: that the Biedermeierness occurs is not incorrect. sent11: the bioelectricity does not occur and the collecting sophistication does not occur. sent12: the non-Ethiopianness brings about that the frying occurs. ; $proof$ = 
void -> assump1: Let's assume that the Ethiopian occurs.; sent9 & assump1 -> int1: the fact that the bioelectricity does not occur and the collecting sophistication does not occur is wrong.; int1 & sent11 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Ethiopianness does not occur.; int3 & sent12 -> int4: the frying happens.; sent7 & sent8 -> int5: the flabbergasting gamesmanship does not occur.; sent5 & int5 -> int6: the offingness and the Set happens.; int6 -> int7: the fact that the offingness occurs is not false.; int4 & int7 -> hypothesis; __PROVED__