that if the nonslipperiness occurs both the toothedness and the derailing view happens does not hold.
sent1: the fact that the derailing view occurs is correct. sent2: if the dangerousness happens and the sublimate happens the Moon occurs. sent3: the Aeolianness occurs. sent4: that the toothlessness happens and the Sikh occurs causes the nonslipperiness. sent5: the onslaught occurs. sent6: that both the slipperyness and the toothlessness happens is triggered by the sighting. sent7: the gastrectomy does not occur but the excising gooney occurs. sent8: if the neocolonialism occurs and the headlock happens the strikeout does not occur. sent9: the ink does not occur. sent10: the capacitance happens and the understanding occurs. sent11: the perplexing antiseptic does not occur if the nonslipperiness does not occur and the toothlessness happens. sent12: the corrections does not occur and the stigmatizing toboggan occurs. sent13: the asteroidalness does not occur but the disapproving occurs if the vrooming occurs. sent14: the targeting occurs. sent15: the excising music happens. sent16: the briefing happens. sent17: the perplexing departure occurs. sent18: the onslaught occurs and the perplexing antiseptic occurs. sent19: that the Sikhness does not occur is prevented by the perplexing antiseptic. sent20: that the toothlessness and the Sikhness occurs prevents that the nonslipperiness occurs. sent21: if the perplexing antiseptic does not occur the excising pastern happens and the onslaught occurs. sent22: the perplexing waitress happens.
sent18 -> int1: the perplexing antiseptic happens.; int1 & sent19 -> int2: the Sikh occurs.; void -> assump1: Let's assume that the toothlessness occurs.; int2 & assump1 -> int3: both the toothlessness and the Sikhness occurs.; int3 & sent20 -> int4: the nonslipperiness does not occur.; void -> assump2: Let's assume that the nonslipperiness happens.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the toothlessness does not occur.; int6 & sent1 -> int7: the toothlessness does not occur and the derailing view happens.; [assump2] & int7 -> hypothesis;
the excising pastern happens and the perplexing Chrysolophus happens.
$hypothesis$ = that if the nonslipperiness occurs both the toothedness and the derailing view happens does not hold. ; $context$ = sent1: the fact that the derailing view occurs is correct. sent2: if the dangerousness happens and the sublimate happens the Moon occurs. sent3: the Aeolianness occurs. sent4: that the toothlessness happens and the Sikh occurs causes the nonslipperiness. sent5: the onslaught occurs. sent6: that both the slipperyness and the toothlessness happens is triggered by the sighting. sent7: the gastrectomy does not occur but the excising gooney occurs. sent8: if the neocolonialism occurs and the headlock happens the strikeout does not occur. sent9: the ink does not occur. sent10: the capacitance happens and the understanding occurs. sent11: the perplexing antiseptic does not occur if the nonslipperiness does not occur and the toothlessness happens. sent12: the corrections does not occur and the stigmatizing toboggan occurs. sent13: the asteroidalness does not occur but the disapproving occurs if the vrooming occurs. sent14: the targeting occurs. sent15: the excising music happens. sent16: the briefing happens. sent17: the perplexing departure occurs. sent18: the onslaught occurs and the perplexing antiseptic occurs. sent19: that the Sikhness does not occur is prevented by the perplexing antiseptic. sent20: that the toothlessness and the Sikhness occurs prevents that the nonslipperiness occurs. sent21: if the perplexing antiseptic does not occur the excising pastern happens and the onslaught occurs. sent22: the perplexing waitress happens. ; $proof$ = 
sent18 -> int1: the perplexing antiseptic happens.; int1 & sent19 -> int2: the Sikh occurs.; void -> assump1: Let's assume that the toothlessness occurs.; int2 & assump1 -> int3: both the toothlessness and the Sikhness occurs.; int3 & sent20 -> int4: the nonslipperiness does not occur.; void -> assump2: Let's assume that the nonslipperiness happens.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the toothlessness does not occur.; int6 & sent1 -> int7: the toothlessness does not occur and the derailing view happens.; [assump2] & int7 -> hypothesis; __DISPROVED__