the fact that the Lilliputian occurs if the rupestralness does not occur and the dextralness happens is false.
sent1: the fact that the macrocephalicness happens is not incorrect. sent2: if the fact that the Lilliputianness does not occur and the dextralness happens is wrong then the dextralness does not occur. sent3: the resumption occurs if the fleshing featherbedding occurs. sent4: that both the non-apopempticness and the fruit occurs prevents that the provencalness does not occur. sent5: the lode occurs. sent6: the eyedrop occurs. sent7: the Essene is triggered by the ropeiness. sent8: that the ravage does not occur does not hold. sent9: the Lilliputian happens if both the rupestralness and the dextralness happens. sent10: that not the chocking syrup but the baying occurs brings about the crowning. sent11: the fact that the Lilliputian does not occur and the dextralness occurs is false if the chocking Mobulidae occurs. sent12: if the dextralness occurs then the Lilliputianness occurs. sent13: the fact that the saprobicness occurs hold if not the ballooning but the footrace occurs. sent14: if that the dextralness does not occur is not false the fleshing lieutenancy and the rupestralness occurs. sent15: the might-have-been happens. sent16: the prelim happens. sent17: the chocking ovenware occurs. sent18: the ropeiness happens.
void -> assump1: Let's assume that not the rupestralness but the dextralness happens.; assump1 -> int1: the dextralness happens.; int1 & sent12 -> int2: the Lilliputian occurs.; [assump1] & int2 -> hypothesis;
the fleshing lieutenancy occurs.
$hypothesis$ = the fact that the Lilliputian occurs if the rupestralness does not occur and the dextralness happens is false. ; $context$ = sent1: the fact that the macrocephalicness happens is not incorrect. sent2: if the fact that the Lilliputianness does not occur and the dextralness happens is wrong then the dextralness does not occur. sent3: the resumption occurs if the fleshing featherbedding occurs. sent4: that both the non-apopempticness and the fruit occurs prevents that the provencalness does not occur. sent5: the lode occurs. sent6: the eyedrop occurs. sent7: the Essene is triggered by the ropeiness. sent8: that the ravage does not occur does not hold. sent9: the Lilliputian happens if both the rupestralness and the dextralness happens. sent10: that not the chocking syrup but the baying occurs brings about the crowning. sent11: the fact that the Lilliputian does not occur and the dextralness occurs is false if the chocking Mobulidae occurs. sent12: if the dextralness occurs then the Lilliputianness occurs. sent13: the fact that the saprobicness occurs hold if not the ballooning but the footrace occurs. sent14: if that the dextralness does not occur is not false the fleshing lieutenancy and the rupestralness occurs. sent15: the might-have-been happens. sent16: the prelim happens. sent17: the chocking ovenware occurs. sent18: the ropeiness happens. ; $proof$ = 
void -> assump1: Let's assume that not the rupestralness but the dextralness happens.; assump1 -> int1: the dextralness happens.; int1 & sent12 -> int2: the Lilliputian occurs.; [assump1] & int2 -> hypothesis; __DISPROVED__