the fact that the firebombing Mitford occurs and/or the photoelectricity occurs is not correct.
sent1: that either the firebombing Mitford happens or the photoelectricity happens or both is not correct if the bedrest does not occur. sent2: the fact that the amenorrheicness occurs is not false. sent3: if the fact that the broadbandness does not occur hold then the nonindustrialness does not occur. sent4: the non-broadbandness brings about the nonindustrialness. sent5: the elbowing happens. sent6: if that either the belling or the non-broadbandness or both happens does not hold then the walking cumulonimbus occurs. sent7: if the amenorrheicness does not occur and the elbowing does not occur the walking cumulonimbus does not occur. sent8: that the firebombing Mitford does not occur is prevented by that both the amenorrheicness and the industrialness occurs. sent9: if the elbowing occurs then the fact that the bedrest does not occur and/or the walking cumulonimbus happens is not true. sent10: that the bell occurs prevents that the nonindustrialness occurs.
void -> assump1: Let's assume that the fact that that the bell occurs and/or the broadbandness does not occur is correct is incorrect.; sent6 & assump1 -> int1: the walking cumulonimbus occurs.; int1 -> int2: the bedrest does not occur or the walking cumulonimbus occurs or both.; sent9 & sent5 -> int3: the fact that either the bedrest does not occur or the walking cumulonimbus occurs or both is not correct.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: either the belling occurs or the broadbandness does not occur or both.; int5 & sent10 & sent3 -> int6: the nonindustrialness does not occur.; int6 & sent2 -> int7: the amenorrheicness and the non-nonindustrialness occurs.; int7 & sent8 -> int8: the firebombing Mitford happens.; int8 -> hypothesis;
that the firebombing Mitford happens and/or the photoelectricity happens is false.
$hypothesis$ = the fact that the firebombing Mitford occurs and/or the photoelectricity occurs is not correct. ; $context$ = sent1: that either the firebombing Mitford happens or the photoelectricity happens or both is not correct if the bedrest does not occur. sent2: the fact that the amenorrheicness occurs is not false. sent3: if the fact that the broadbandness does not occur hold then the nonindustrialness does not occur. sent4: the non-broadbandness brings about the nonindustrialness. sent5: the elbowing happens. sent6: if that either the belling or the non-broadbandness or both happens does not hold then the walking cumulonimbus occurs. sent7: if the amenorrheicness does not occur and the elbowing does not occur the walking cumulonimbus does not occur. sent8: that the firebombing Mitford does not occur is prevented by that both the amenorrheicness and the industrialness occurs. sent9: if the elbowing occurs then the fact that the bedrest does not occur and/or the walking cumulonimbus happens is not true. sent10: that the bell occurs prevents that the nonindustrialness occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that that the bell occurs and/or the broadbandness does not occur is correct is incorrect.; sent6 & assump1 -> int1: the walking cumulonimbus occurs.; int1 -> int2: the bedrest does not occur or the walking cumulonimbus occurs or both.; sent9 & sent5 -> int3: the fact that either the bedrest does not occur or the walking cumulonimbus occurs or both is not correct.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: either the belling occurs or the broadbandness does not occur or both.; int5 & sent10 & sent3 -> int6: the nonindustrialness does not occur.; int6 & sent2 -> int7: the amenorrheicness and the non-nonindustrialness occurs.; int7 & sent8 -> int8: the firebombing Mitford happens.; int8 -> hypothesis; __DISPROVED__