the fact that the comforting Muhammad does not occur hold.
sent1: the cutting does not occur if the robbing does not occur. sent2: the skinny-dip does not occur. sent3: the menstruating does not occur. sent4: that the antigenicness occurs is not false if the ordinariness occurs. sent5: the petroglyph does not occur if the fact that the drawing Illyrian and/or the intonating occurs does not hold. sent6: that the fact that both the stopping and the artiodactylness occurs is not wrong is false if the pairing does not occur. sent7: not the drawing insertion but the comforting Leningrad happens. sent8: if the fact that the stop and the artiodactylness happens does not hold then the comforting Muhammad does not occur. sent9: that the intonating does not occur does not hold if the re-formation occurs. sent10: the stipulating does not occur. sent11: the hair-shirtness happens. sent12: the reflectorizing whip-round occurs if the fact that the drawing diminution happens hold. sent13: the perennialness does not occur if the fact that the deposition happens and/or the jag does not occur does not hold. sent14: that the deposition does not occur and the jagging does not occur triggers that the perennialness occurs. sent15: the re-formation occurs if the drawing Illyrian occurs. sent16: if the comforting Bench does not occur then the menstruating does not occur. sent17: the fact that the deposition occurs and/or the jagging does not occur is incorrect. sent18: that the fact that the stopping does not occur but the intonating occurs is not true if the artiodactylness does not occur is not incorrect. sent19: if the fact that the pairing does not occur and the apianness occurs is wrong the drawing Illyrian occurs. sent20: the fact that either the drawing Illyrian happens or the intonating happens or both does not hold if the artiodactyl does not occur. sent21: the non-perennialness results in the fact that that the intonating does not occur and the education does not occur is not incorrect. sent22: that the pollution does not occur and the gavage does not occur is brought about by that the irregularness does not occur. sent23: if the fact that that not the reflectorizing Ledum but the apostrophicness occurs is incorrect hold then the reflectorizing desert occurs. sent24: the athleticness happens. sent25: if that not the Western but the drawing lavishness occurs is incorrect the ascent happens.
void -> assump1: Let's assume that that not the pairing but the apianness happens is not true.; sent19 & assump1 -> int1: the drawing Illyrian occurs.; int1 & sent15 -> int2: the re-formation happens.; int2 & sent9 -> int3: the intonating occurs.; sent13 & sent17 -> int4: the perennial does not occur.; sent21 & int4 -> int5: the intonating does not occur and the education does not occur.; int5 -> int6: the intonating does not occur.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the pairing does not occur but the apianness happens.; int8 -> int9: the pairing does not occur.; int9 & sent6 -> int10: the fact that the fact that the stop and the artiodactyl occurs is not true hold.; int10 & sent8 -> hypothesis;
the comforting Muhammad occurs.
$hypothesis$ = the fact that the comforting Muhammad does not occur hold. ; $context$ = sent1: the cutting does not occur if the robbing does not occur. sent2: the skinny-dip does not occur. sent3: the menstruating does not occur. sent4: that the antigenicness occurs is not false if the ordinariness occurs. sent5: the petroglyph does not occur if the fact that the drawing Illyrian and/or the intonating occurs does not hold. sent6: that the fact that both the stopping and the artiodactylness occurs is not wrong is false if the pairing does not occur. sent7: not the drawing insertion but the comforting Leningrad happens. sent8: if the fact that the stop and the artiodactylness happens does not hold then the comforting Muhammad does not occur. sent9: that the intonating does not occur does not hold if the re-formation occurs. sent10: the stipulating does not occur. sent11: the hair-shirtness happens. sent12: the reflectorizing whip-round occurs if the fact that the drawing diminution happens hold. sent13: the perennialness does not occur if the fact that the deposition happens and/or the jag does not occur does not hold. sent14: that the deposition does not occur and the jagging does not occur triggers that the perennialness occurs. sent15: the re-formation occurs if the drawing Illyrian occurs. sent16: if the comforting Bench does not occur then the menstruating does not occur. sent17: the fact that the deposition occurs and/or the jagging does not occur is incorrect. sent18: that the fact that the stopping does not occur but the intonating occurs is not true if the artiodactylness does not occur is not incorrect. sent19: if the fact that the pairing does not occur and the apianness occurs is wrong the drawing Illyrian occurs. sent20: the fact that either the drawing Illyrian happens or the intonating happens or both does not hold if the artiodactyl does not occur. sent21: the non-perennialness results in the fact that that the intonating does not occur and the education does not occur is not incorrect. sent22: that the pollution does not occur and the gavage does not occur is brought about by that the irregularness does not occur. sent23: if the fact that that not the reflectorizing Ledum but the apostrophicness occurs is incorrect hold then the reflectorizing desert occurs. sent24: the athleticness happens. sent25: if that not the Western but the drawing lavishness occurs is incorrect the ascent happens. ; $proof$ = 
void -> assump1: Let's assume that that not the pairing but the apianness happens is not true.; sent19 & assump1 -> int1: the drawing Illyrian occurs.; int1 & sent15 -> int2: the re-formation happens.; int2 & sent9 -> int3: the intonating occurs.; sent13 & sent17 -> int4: the perennial does not occur.; sent21 & int4 -> int5: the intonating does not occur and the education does not occur.; int5 -> int6: the intonating does not occur.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the pairing does not occur but the apianness happens.; int8 -> int9: the pairing does not occur.; int9 & sent6 -> int10: the fact that the fact that the stop and the artiodactyl occurs is not true hold.; int10 & sent8 -> hypothesis; __PROVED__