the fact that the emptying swat does not occur but the movement occurs is not true if the inquest occurs.
sent1: that the emptying swat occurs and the movement occurs is not correct. sent2: the emptying alga occurs if the subject occurs. sent3: the emptying swat does not occur but the movement happens if the inquest happens. sent4: that the inquest does not occur is triggered by that the emptying alga occurs and/or the gastrectomy. sent5: the inquest does not occur if the gastrectomy happens. sent6: the fact that both the emptying swat and the movement occurs is not right if the inquest happens. sent7: the subjecting happens if the indiscernibleness occurs. sent8: if the subject does not occur then the fact that the indiscernibleness occurs but the haying does not occur is not right. sent9: the extensileness does not occur. sent10: the fact that both the emptying swat and the movement happens is wrong if that the indiscernibleness does not occur is not incorrect. sent11: if the fact that the indiscernibleness occurs but the haying does not occur is not true then the haying occurs. sent12: that the emptying alga occurs and/or that the gastrectomy happens results in the inquest. sent13: that the cyberneticness occurs yields the shag.
void -> assump1: Let's assume that the inquest happens.; void -> assump2: Let's assume that the indiscernibleness occurs.; sent7 & assump2 -> int1: the subjecting occurs.; sent2 & int1 -> int2: the emptying alga occurs.; int2 -> int3: the emptying alga happens and/or the gastrectomy happens.; sent4 & int3 -> int4: the inquest does not occur.; assump1 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: that the indiscernibleness does not occur is correct.;
the haying occurs.
$hypothesis$ = the fact that the emptying swat does not occur but the movement occurs is not true if the inquest occurs. ; $context$ = sent1: that the emptying swat occurs and the movement occurs is not correct. sent2: the emptying alga occurs if the subject occurs. sent3: the emptying swat does not occur but the movement happens if the inquest happens. sent4: that the inquest does not occur is triggered by that the emptying alga occurs and/or the gastrectomy. sent5: the inquest does not occur if the gastrectomy happens. sent6: the fact that both the emptying swat and the movement occurs is not right if the inquest happens. sent7: the subjecting happens if the indiscernibleness occurs. sent8: if the subject does not occur then the fact that the indiscernibleness occurs but the haying does not occur is not right. sent9: the extensileness does not occur. sent10: the fact that both the emptying swat and the movement happens is wrong if that the indiscernibleness does not occur is not incorrect. sent11: if the fact that the indiscernibleness occurs but the haying does not occur is not true then the haying occurs. sent12: that the emptying alga occurs and/or that the gastrectomy happens results in the inquest. sent13: that the cyberneticness occurs yields the shag. ; $proof$ = 
void -> assump1: Let's assume that the inquest happens.; void -> assump2: Let's assume that the indiscernibleness occurs.; sent7 & assump2 -> int1: the subjecting occurs.; sent2 & int1 -> int2: the emptying alga occurs.; int2 -> int3: the emptying alga happens and/or the gastrectomy happens.; sent4 & int3 -> int4: the inquest does not occur.; assump1 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: that the indiscernibleness does not occur is correct.; __UNKNOWN__