the meaning infarct does not occur if the meaning suggestion happens.
sent1: the particularisticness happens. sent2: the overhandness does not occur. sent3: that both the torturing sleeved and the meaning infarct happens prevents the meaning suggestion. sent4: if the fact that the gladness does not occur and the interjection happens is not correct then the obedience occurs. sent5: the drum does not occur. sent6: that the non-gladness and the interjection happens is wrong if the scalage occurs. sent7: the poling pollen happens. sent8: that the meaning infarct does not occur and the meaning suggestion does not occur yields that the torturing sleeved does not occur. sent9: if the meaning BIN does not occur then the scalage occurs and the sledding happens. sent10: both the particularisticness and the torturing sleeved occurs. sent11: the syphiliticness occurs. sent12: that the air-to-surfaceness and the meaning badgering occurs yields the non-aldehydicness. sent13: that the torturing sleeved happens and the meaning infarct occurs yields the meaning suggestion. sent14: the soteriologicalness happens. sent15: the enrichment does not occur. sent16: the Prussianness happens and the particularisticness occurs if the torturing sleeved does not occur. sent17: if the obedience happens the meaning infarct does not occur and the meaning suggestion does not occur. sent18: the brokering happens.
void -> assump1: Let's assume that the meaning suggestion occurs.; sent10 -> int1: the torturing sleeved happens.; void -> assump2: Let's assume that the meaning infarct happens.; int1 & assump2 -> int2: the torturing sleeved happens and the meaning infarct occurs.; sent3 & int2 -> int3: the meaning suggestion does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the meaning infarct does not occur.; [assump1] & int5 -> hypothesis;
the Prussian happens.
$hypothesis$ = the meaning infarct does not occur if the meaning suggestion happens. ; $context$ = sent1: the particularisticness happens. sent2: the overhandness does not occur. sent3: that both the torturing sleeved and the meaning infarct happens prevents the meaning suggestion. sent4: if the fact that the gladness does not occur and the interjection happens is not correct then the obedience occurs. sent5: the drum does not occur. sent6: that the non-gladness and the interjection happens is wrong if the scalage occurs. sent7: the poling pollen happens. sent8: that the meaning infarct does not occur and the meaning suggestion does not occur yields that the torturing sleeved does not occur. sent9: if the meaning BIN does not occur then the scalage occurs and the sledding happens. sent10: both the particularisticness and the torturing sleeved occurs. sent11: the syphiliticness occurs. sent12: that the air-to-surfaceness and the meaning badgering occurs yields the non-aldehydicness. sent13: that the torturing sleeved happens and the meaning infarct occurs yields the meaning suggestion. sent14: the soteriologicalness happens. sent15: the enrichment does not occur. sent16: the Prussianness happens and the particularisticness occurs if the torturing sleeved does not occur. sent17: if the obedience happens the meaning infarct does not occur and the meaning suggestion does not occur. sent18: the brokering happens. ; $proof$ = 
void -> assump1: Let's assume that the meaning suggestion occurs.; sent10 -> int1: the torturing sleeved happens.; void -> assump2: Let's assume that the meaning infarct happens.; int1 & assump2 -> int2: the torturing sleeved happens and the meaning infarct occurs.; sent3 & int2 -> int3: the meaning suggestion does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the meaning infarct does not occur.; [assump1] & int5 -> hypothesis; __PROVED__