the spaceflight or the fungoidness or both occurs.
sent1: if the fungoidness does not occur the screwball does not occur but the conjunction happens. sent2: if the majusculeness does not occur the cornering horseradish happens. sent3: the weeding counterreformation happens but the microsurgery does not occur if the screwball does not occur. sent4: the cornering hurricane does not occur and the follies does not occur if the predictableness occurs. sent5: the fact that the predictableness happens is not wrong. sent6: the hare occurs. sent7: that the microsurgery does not occur is not false if the cornering horseradish does not occur and the weeding counterreformation does not occur. sent8: if the cornering hurricane does not occur then both the hare and the non-majusculeness happens. sent9: if the microsurgery does not occur then the fact that the spaceflight or the fungoidness or both happens is not true. sent10: the weeding Ornithorhynchus does not occur. sent11: the cornering horseradish does not occur if the weeding counterreformation occurs.
void -> assump1: Let's assume that that the fungoidness does not occur is not wrong.; sent1 & assump1 -> int1: the screwball does not occur but the conjunction happens.; int1 -> int2: that the screwball happens does not hold.; int2 & sent3 -> int3: the weeding counterreformation but not the microsurgery happens.; int3 -> int4: the weeding counterreformation happens.; int4 & sent11 -> int5: the cornering horseradish does not occur.; sent4 & sent5 -> int6: the cornering hurricane does not occur and the follies does not occur.; int6 -> int7: the cornering hurricane does not occur.; sent8 & int7 -> int8: the haring and the non-majusculeness happens.; int8 -> int9: the majusculeness does not occur.; sent2 & int9 -> int10: the cornering horseradish occurs.; int5 & int10 -> int11: this is contradiction.; [assump1] & int11 -> int12: the fungoidness occurs.; int12 -> hypothesis;
the fact that either the spaceflight or the fungoidness or both happens is not right.
$hypothesis$ = the spaceflight or the fungoidness or both occurs. ; $context$ = sent1: if the fungoidness does not occur the screwball does not occur but the conjunction happens. sent2: if the majusculeness does not occur the cornering horseradish happens. sent3: the weeding counterreformation happens but the microsurgery does not occur if the screwball does not occur. sent4: the cornering hurricane does not occur and the follies does not occur if the predictableness occurs. sent5: the fact that the predictableness happens is not wrong. sent6: the hare occurs. sent7: that the microsurgery does not occur is not false if the cornering horseradish does not occur and the weeding counterreformation does not occur. sent8: if the cornering hurricane does not occur then both the hare and the non-majusculeness happens. sent9: if the microsurgery does not occur then the fact that the spaceflight or the fungoidness or both happens is not true. sent10: the weeding Ornithorhynchus does not occur. sent11: the cornering horseradish does not occur if the weeding counterreformation occurs. ; $proof$ = 
void -> assump1: Let's assume that that the fungoidness does not occur is not wrong.; sent1 & assump1 -> int1: the screwball does not occur but the conjunction happens.; int1 -> int2: that the screwball happens does not hold.; int2 & sent3 -> int3: the weeding counterreformation but not the microsurgery happens.; int3 -> int4: the weeding counterreformation happens.; int4 & sent11 -> int5: the cornering horseradish does not occur.; sent4 & sent5 -> int6: the cornering hurricane does not occur and the follies does not occur.; int6 -> int7: the cornering hurricane does not occur.; sent8 & int7 -> int8: the haring and the non-majusculeness happens.; int8 -> int9: the majusculeness does not occur.; sent2 & int9 -> int10: the cornering horseradish occurs.; int5 & int10 -> int11: this is contradiction.; [assump1] & int11 -> int12: the fungoidness occurs.; int12 -> hypothesis; __PROVED__