the haranguing Nilsson does not occur and the summarization does not occur.
sent1: that the haranguing choanocyte and the non-echoicness happens does not hold if the digitigrade does not occur. sent2: if that not the pretense but the yelling happens is false the antrorseness does not occur. sent3: the haranguing whelk or the exudation or both occurs. sent4: the haranguing Nilsson does not occur and the summarization does not occur if the antrorseness does not occur. sent5: the antrorseness prevents the pretense. sent6: that the haranguing Nilsson does not occur and the summarization occurs is wrong. sent7: the fact that the haranguing Nilsson does not occur but the summarization happens does not hold if the fact that the pretense does not occur hold. sent8: if either the requiescat does not occur or the haranguing Nilsson occurs or both the summarization happens. sent9: that the haranguing Nilsson occurs but the summarization does not occur is false if the pretense does not occur. sent10: if either the antrorseness or the yelling or both occurs the pretense does not occur. sent11: that the haranguing Nilsson occurs and the summarization does not occur is not true. sent12: the yelling occurs. sent13: that the requiescat does not occur is not false if that the haranguing choanocyte occurs and the echoicness does not occur is not true. sent14: if the pretense does not occur then that the haranguing Nilsson does not occur and the summarization does not occur is incorrect. sent15: if that the antrorseness does not occur is correct then the fact that the formerness does not occur and the uncoiling upstroke does not occur is not true.
sent12 -> int1: the antrorseness or the yelling or both occurs.; sent10 & int1 -> int2: the pretense does not occur.; sent14 & int2 -> hypothesis;
the haranguing Nilsson does not occur and the summarization does not occur.
$hypothesis$ = the haranguing Nilsson does not occur and the summarization does not occur. ; $context$ = sent1: that the haranguing choanocyte and the non-echoicness happens does not hold if the digitigrade does not occur. sent2: if that not the pretense but the yelling happens is false the antrorseness does not occur. sent3: the haranguing whelk or the exudation or both occurs. sent4: the haranguing Nilsson does not occur and the summarization does not occur if the antrorseness does not occur. sent5: the antrorseness prevents the pretense. sent6: that the haranguing Nilsson does not occur and the summarization occurs is wrong. sent7: the fact that the haranguing Nilsson does not occur but the summarization happens does not hold if the fact that the pretense does not occur hold. sent8: if either the requiescat does not occur or the haranguing Nilsson occurs or both the summarization happens. sent9: that the haranguing Nilsson occurs but the summarization does not occur is false if the pretense does not occur. sent10: if either the antrorseness or the yelling or both occurs the pretense does not occur. sent11: that the haranguing Nilsson occurs and the summarization does not occur is not true. sent12: the yelling occurs. sent13: that the requiescat does not occur is not false if that the haranguing choanocyte occurs and the echoicness does not occur is not true. sent14: if the pretense does not occur then that the haranguing Nilsson does not occur and the summarization does not occur is incorrect. sent15: if that the antrorseness does not occur is correct then the fact that the formerness does not occur and the uncoiling upstroke does not occur is not true. ; $proof$ = 
sent12 -> int1: the antrorseness or the yelling or both occurs.; sent10 & int1 -> int2: the pretense does not occur.; sent14 & int2 -> hypothesis; __DISPROVED__