the bust-up occurs and the idealizing wiper happens.
sent1: if that the guarding socle does not occur is not wrong the fact that both the bust-up and the idealizing wiper happens is not true. sent2: if the subsiding sou'-sou'-east does not occur and the phone-in does not occur then the bust-up happens. sent3: if the unpropitiousness does not occur then that the air occurs and the prolonging does not occur is wrong. sent4: the subsiding mutter or that the air occurs or both is caused by that the prolonging does not occur. sent5: the honoring does not occur if that the ravage happens and the multilingualness occurs is not correct. sent6: the immunologicalness happens if the ravage occurs. sent7: the bounding does not occur. sent8: if the dwarfing Ariidae happens then the fact that the intrasententialness does not occur but the idealizing Dicranopteris occurs is incorrect. sent9: the dwarfing Ariidae occurs if that the guarding brocaded but not the dwarfing Ariidae happens is not correct. sent10: the air causes that the phone-in happens. sent11: if the subsiding dumbbell does not occur and the guarding Styrofoam does not occur then the unpropitiousness does not occur. sent12: the fact that the fact that the ravage and the multilingualness happens is not correct if the zoonoticness does not occur is correct. sent13: the fact that the guarding brocaded but not the dwarfing Ariidae happens is not correct if the absenting occurs. sent14: that both the non-uniformedness and the non-Appalachianness occurs is triggered by that the block does not occur. sent15: if the airing does not occur then both the idealizing wiper and the parhelicness occurs. sent16: if the parhelicness does not occur then the guarding socle does not occur. sent17: the phone-in does not occur if both the parhelicness and the subsiding sou'-sou'-east occurs. sent18: if that the airing but not the prolonging occurs is incorrect the airing does not occur. sent19: the idealizing Euphagus happens. sent20: that the idealizing Dicranopteris does not occur causes that both the subsiding mutter and the guarding socle happens. sent21: the bust-up happens if that the fact that the subsiding sou'-sou'-east happens but the phone-in does not occur does not hold is correct. sent22: both the absentness and the derailment happens if the uniforming does not occur. sent23: the phone-in happens if the subsiding mutter happens. sent24: if the fact that both the non-intrasententialness and the idealizing Dicranopteris happens is false then the idealizing Dicranopteris does not occur. sent25: the androgeneticness occurs and the interdepartmentalness occurs. sent26: the subsiding dumbbell does not occur and the guarding Styrofoam does not occur if the honor does not occur. sent27: the prolonging does not occur. sent28: the subsiding sou'-sou'-east happens.
void -> assump1: Let's assume that that the parhelicness does not occur is false.; assump1 & sent28 -> int1: the parhelicness happens and the subsiding sou'-sou'-east occurs.; int1 & sent17 -> int2: the phone-in does not occur.; sent4 & sent27 -> int3: either the subsiding mutter happens or the air happens or both.; int3 & sent23 & sent10 -> int4: the phone-in happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the parhelicness does not occur.; int6 & sent16 -> int7: the guarding socle does not occur.; int7 & sent1 -> hypothesis;
the bust-up and the idealizing wiper happens.
$hypothesis$ = the bust-up occurs and the idealizing wiper happens. ; $context$ = sent1: if that the guarding socle does not occur is not wrong the fact that both the bust-up and the idealizing wiper happens is not true. sent2: if the subsiding sou'-sou'-east does not occur and the phone-in does not occur then the bust-up happens. sent3: if the unpropitiousness does not occur then that the air occurs and the prolonging does not occur is wrong. sent4: the subsiding mutter or that the air occurs or both is caused by that the prolonging does not occur. sent5: the honoring does not occur if that the ravage happens and the multilingualness occurs is not correct. sent6: the immunologicalness happens if the ravage occurs. sent7: the bounding does not occur. sent8: if the dwarfing Ariidae happens then the fact that the intrasententialness does not occur but the idealizing Dicranopteris occurs is incorrect. sent9: the dwarfing Ariidae occurs if that the guarding brocaded but not the dwarfing Ariidae happens is not correct. sent10: the air causes that the phone-in happens. sent11: if the subsiding dumbbell does not occur and the guarding Styrofoam does not occur then the unpropitiousness does not occur. sent12: the fact that the fact that the ravage and the multilingualness happens is not correct if the zoonoticness does not occur is correct. sent13: the fact that the guarding brocaded but not the dwarfing Ariidae happens is not correct if the absenting occurs. sent14: that both the non-uniformedness and the non-Appalachianness occurs is triggered by that the block does not occur. sent15: if the airing does not occur then both the idealizing wiper and the parhelicness occurs. sent16: if the parhelicness does not occur then the guarding socle does not occur. sent17: the phone-in does not occur if both the parhelicness and the subsiding sou'-sou'-east occurs. sent18: if that the airing but not the prolonging occurs is incorrect the airing does not occur. sent19: the idealizing Euphagus happens. sent20: that the idealizing Dicranopteris does not occur causes that both the subsiding mutter and the guarding socle happens. sent21: the bust-up happens if that the fact that the subsiding sou'-sou'-east happens but the phone-in does not occur does not hold is correct. sent22: both the absentness and the derailment happens if the uniforming does not occur. sent23: the phone-in happens if the subsiding mutter happens. sent24: if the fact that both the non-intrasententialness and the idealizing Dicranopteris happens is false then the idealizing Dicranopteris does not occur. sent25: the androgeneticness occurs and the interdepartmentalness occurs. sent26: the subsiding dumbbell does not occur and the guarding Styrofoam does not occur if the honor does not occur. sent27: the prolonging does not occur. sent28: the subsiding sou'-sou'-east happens. ; $proof$ = 
void -> assump1: Let's assume that that the parhelicness does not occur is false.; assump1 & sent28 -> int1: the parhelicness happens and the subsiding sou'-sou'-east occurs.; int1 & sent17 -> int2: the phone-in does not occur.; sent4 & sent27 -> int3: either the subsiding mutter happens or the air happens or both.; int3 & sent23 & sent10 -> int4: the phone-in happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the parhelicness does not occur.; int6 & sent16 -> int7: the guarding socle does not occur.; int7 & sent1 -> hypothesis; __DISPROVED__