the mid-off happens.
sent1: that the discarding thromboembolism happens and the violableness occurs is triggered by that the impression does not occur. sent2: the mid-off does not occur if the sport does not occur. sent3: that the ventralness occurs is caused by that the redundancy happens. sent4: the mid-off does not occur if the fact that the exacerbating kitsch occurs and the sport occurs is incorrect. sent5: if the westerly occurs the violableness does not occur. sent6: the westerly occurs if the modeling occurs. sent7: that the discarding thromboembolism does not occur is prevented by that the impression does not occur. sent8: the fact that the redundancy but not the exacerbating kitsch happens does not hold if the ventralness occurs. sent9: if the discarding thromboembolism does not occur the ventralness and the sporting happens. sent10: the fact that the exacerbating kitsch and the sporting occurs is wrong if the ventralness does not occur. sent11: the discarding thromboembolism occurs. sent12: the fearfulness happens and/or the violableness happens if the redundancy does not occur. sent13: the ventralness does not occur if the redundancy occurs. sent14: the impression does not occur. sent15: the non-fearfulness prevents the ventralness. sent16: if the modeling does not occur then the redundancy and/or the non-fearfulness happens. sent17: if the exacerbating touchdown does not occur then the catting does not occur.
void -> assump1: Let's assume that the modeling happens.; sent6 & assump1 -> int1: the westerly occurs.; int1 & sent5 -> int2: the violableness does not occur.; sent1 & sent14 -> int3: the discarding thromboembolism and the violableness happens.; int3 -> int4: the violableness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the modeling does not occur.; int6 & sent16 -> int7: the redundancy or the non-fearfulness or both occurs.; int7 & sent13 & sent15 -> int8: the ventralness does not occur.; int8 & sent10 -> int9: that the exacerbating kitsch and the sport occurs is not right.; int9 & sent4 -> hypothesis;
the mid-off happens.
$hypothesis$ = the mid-off happens. ; $context$ = sent1: that the discarding thromboembolism happens and the violableness occurs is triggered by that the impression does not occur. sent2: the mid-off does not occur if the sport does not occur. sent3: that the ventralness occurs is caused by that the redundancy happens. sent4: the mid-off does not occur if the fact that the exacerbating kitsch occurs and the sport occurs is incorrect. sent5: if the westerly occurs the violableness does not occur. sent6: the westerly occurs if the modeling occurs. sent7: that the discarding thromboembolism does not occur is prevented by that the impression does not occur. sent8: the fact that the redundancy but not the exacerbating kitsch happens does not hold if the ventralness occurs. sent9: if the discarding thromboembolism does not occur the ventralness and the sporting happens. sent10: the fact that the exacerbating kitsch and the sporting occurs is wrong if the ventralness does not occur. sent11: the discarding thromboembolism occurs. sent12: the fearfulness happens and/or the violableness happens if the redundancy does not occur. sent13: the ventralness does not occur if the redundancy occurs. sent14: the impression does not occur. sent15: the non-fearfulness prevents the ventralness. sent16: if the modeling does not occur then the redundancy and/or the non-fearfulness happens. sent17: if the exacerbating touchdown does not occur then the catting does not occur. ; $proof$ = 
void -> assump1: Let's assume that the modeling happens.; sent6 & assump1 -> int1: the westerly occurs.; int1 & sent5 -> int2: the violableness does not occur.; sent1 & sent14 -> int3: the discarding thromboembolism and the violableness happens.; int3 -> int4: the violableness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the modeling does not occur.; int6 & sent16 -> int7: the redundancy or the non-fearfulness or both occurs.; int7 & sent13 & sent15 -> int8: the ventralness does not occur.; int8 & sent10 -> int9: that the exacerbating kitsch and the sport occurs is not right.; int9 & sent4 -> hypothesis; __DISPROVED__