the fact that if the soothing occurs then the fact that the expunction does not occur hold is false.
sent1: the southwester and the suppurating happens. sent2: the concerning Schonbein occurs and/or the centroidalness happens. sent3: either the Nicaeanness happens or the Proustianness happens or both. sent4: if the centroidalness occurs the Caucasianness occurs. sent5: the Caucasian occurs if the concerning Schonbein happens. sent6: that the concerning filmmaker occurs is triggered by that the Best happens. sent7: the soothing does not occur if the Caucasian happens and the expunction occurs. sent8: that the cautery does not occur hold if the concerning tall happens. sent9: the BAR happens if the concerning convector occurs. sent10: if the effervescentness happens the real-timeness happens. sent11: the fact that the expunction happens is not false if that the soothing occurs is not incorrect. sent12: the locomotive happens. sent13: the topping and/or the reopening left-handedness happens. sent14: the enticement happens.
void -> assump1: Let's assume that that the soothing occurs is true.; sent2 & sent5 & sent4 -> int1: the Caucasian occurs.; void -> assump2: Let's assume that the expunction happens.; int1 & assump2 -> int2: the Caucasian and the expunction happens.; sent7 & int2 -> int3: the fact that the soothing occurs is not right.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: that the expunction does not occur hold.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that if the soothing occurs then the fact that the expunction does not occur hold is false. ; $context$ = sent1: the southwester and the suppurating happens. sent2: the concerning Schonbein occurs and/or the centroidalness happens. sent3: either the Nicaeanness happens or the Proustianness happens or both. sent4: if the centroidalness occurs the Caucasianness occurs. sent5: the Caucasian occurs if the concerning Schonbein happens. sent6: that the concerning filmmaker occurs is triggered by that the Best happens. sent7: the soothing does not occur if the Caucasian happens and the expunction occurs. sent8: that the cautery does not occur hold if the concerning tall happens. sent9: the BAR happens if the concerning convector occurs. sent10: if the effervescentness happens the real-timeness happens. sent11: the fact that the expunction happens is not false if that the soothing occurs is not incorrect. sent12: the locomotive happens. sent13: the topping and/or the reopening left-handedness happens. sent14: the enticement happens. ; $proof$ = 
void -> assump1: Let's assume that that the soothing occurs is true.; sent2 & sent5 & sent4 -> int1: the Caucasian occurs.; void -> assump2: Let's assume that the expunction happens.; int1 & assump2 -> int2: the Caucasian and the expunction happens.; sent7 & int2 -> int3: the fact that the soothing occurs is not right.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: that the expunction does not occur hold.; [assump1] & int5 -> hypothesis; __DISPROVED__