the dinging Athapaskan happens.
sent1: that the psychopharmacologicalness happens brings about that the phonemicness happens. sent2: if the fact that the branchlessness and the trick happens does not hold then the branchlessness does not occur. sent3: both the pursuing and the physiologicalness occurs if the psychopharmacologicalness does not occur. sent4: that the schismaticness occurs is prevented by that the murmuring evangelist does not occur. sent5: the psychopharmacologicalness happens. sent6: if that the gluttonizing does not occur and the relapsing occurs is wrong then the dinging refinery happens. sent7: either that the phonemicness happens or that the backhander happens or both triggers that the murmuring evangelist does not occur. sent8: the pharmaceutical and the horripilating occurs if the murmuring milled does not occur. sent9: that the dinging rhinolaryngology and the dinging Athapaskan happens is triggered by that the schismaticness does not occur. sent10: that either the murmuring evangelist does not occur or the schismaticness does not occur or both is wrong if the dinging refinery happens. sent11: that the dinging Athapaskan does not occur and/or that the dinging rhinolaryngology does not occur prevents that the backhander happens. sent12: the apostasy occurs. sent13: that the schismaticness and the murmuring evangelist occurs is caused by that the dinging rhinolaryngology does not occur. sent14: either the dinging Athapaskan does not occur or the dinging rhinolaryngology does not occur or both if the branchlessness does not occur.
sent1 & sent5 -> int1: the phonemicness occurs.; int1 -> int2: that either the phonemicness or the backhander or both occurs is true.; sent7 & int2 -> int3: the murmuring evangelist does not occur.; sent4 & int3 -> int4: the schismaticness does not occur.; sent9 & int4 -> int5: the dinging rhinolaryngology occurs and the dinging Athapaskan occurs.; int5 -> hypothesis;
the pursuing happens and the physiologicalness occurs.
$hypothesis$ = the dinging Athapaskan happens. ; $context$ = sent1: that the psychopharmacologicalness happens brings about that the phonemicness happens. sent2: if the fact that the branchlessness and the trick happens does not hold then the branchlessness does not occur. sent3: both the pursuing and the physiologicalness occurs if the psychopharmacologicalness does not occur. sent4: that the schismaticness occurs is prevented by that the murmuring evangelist does not occur. sent5: the psychopharmacologicalness happens. sent6: if that the gluttonizing does not occur and the relapsing occurs is wrong then the dinging refinery happens. sent7: either that the phonemicness happens or that the backhander happens or both triggers that the murmuring evangelist does not occur. sent8: the pharmaceutical and the horripilating occurs if the murmuring milled does not occur. sent9: that the dinging rhinolaryngology and the dinging Athapaskan happens is triggered by that the schismaticness does not occur. sent10: that either the murmuring evangelist does not occur or the schismaticness does not occur or both is wrong if the dinging refinery happens. sent11: that the dinging Athapaskan does not occur and/or that the dinging rhinolaryngology does not occur prevents that the backhander happens. sent12: the apostasy occurs. sent13: that the schismaticness and the murmuring evangelist occurs is caused by that the dinging rhinolaryngology does not occur. sent14: either the dinging Athapaskan does not occur or the dinging rhinolaryngology does not occur or both if the branchlessness does not occur. ; $proof$ = 
sent1 & sent5 -> int1: the phonemicness occurs.; int1 -> int2: that either the phonemicness or the backhander or both occurs is true.; sent7 & int2 -> int3: the murmuring evangelist does not occur.; sent4 & int3 -> int4: the schismaticness does not occur.; sent9 & int4 -> int5: the dinging rhinolaryngology occurs and the dinging Athapaskan occurs.; int5 -> hypothesis; __PROVED__