if the shrieking does not occur either the promising or the debilitation or both happens.
sent1: the dirtiness occurs and/or the outgeneraling reality occurs. sent2: the fact that both the mitoticness and the zoicness occurs is not correct if the unyoking does not occur. sent3: if the fact that both the mitoticness and the zoicness happens is not true then the zoicness does not occur. sent4: the headquartering cockatoo happens. sent5: if that the debilitation or the blip or both happens is false then the promise does not occur. sent6: the pertaining does not occur and the exigency does not occur if the shrieking does not occur. sent7: if the zoicness does not occur the fact that the debilitation happens and/or the blip happens is false. sent8: the glassing occurs and/or the adolescing occurs. sent9: the fact that the unyoking happens but the derring-do does not occur does not hold if the identicalness happens. sent10: that the caring does not occur and the effusing occurs causes the identicalness. sent11: if the fact that the unyoking but not the derring-do happens is false then the unyoking does not occur. sent12: that the exigency does not occur is caused by that the shrieking does not occur. sent13: if the shrieking happens then either the promising happens or the debilitation happens or both. sent14: that the outgrowth does not occur results in that the patient happens and/or that the driving happens.
void -> assump1: Let's assume that the shrieking does not occur.; sent6 & assump1 -> int1: the pertaining does not occur and the exigency does not occur.;
the fact that the semi-tuberousness occurs is not false.
$hypothesis$ = if the shrieking does not occur either the promising or the debilitation or both happens. ; $context$ = sent1: the dirtiness occurs and/or the outgeneraling reality occurs. sent2: the fact that both the mitoticness and the zoicness occurs is not correct if the unyoking does not occur. sent3: if the fact that both the mitoticness and the zoicness happens is not true then the zoicness does not occur. sent4: the headquartering cockatoo happens. sent5: if that the debilitation or the blip or both happens is false then the promise does not occur. sent6: the pertaining does not occur and the exigency does not occur if the shrieking does not occur. sent7: if the zoicness does not occur the fact that the debilitation happens and/or the blip happens is false. sent8: the glassing occurs and/or the adolescing occurs. sent9: the fact that the unyoking happens but the derring-do does not occur does not hold if the identicalness happens. sent10: that the caring does not occur and the effusing occurs causes the identicalness. sent11: if the fact that the unyoking but not the derring-do happens is false then the unyoking does not occur. sent12: that the exigency does not occur is caused by that the shrieking does not occur. sent13: if the shrieking happens then either the promising happens or the debilitation happens or both. sent14: that the outgrowth does not occur results in that the patient happens and/or that the driving happens. ; $proof$ = 
void -> assump1: Let's assume that the shrieking does not occur.; sent6 & assump1 -> int1: the pertaining does not occur and the exigency does not occur.; __UNKNOWN__