if the overproduction occurs then the territoriality occurs.
sent1: that the electrostaticness and/or the outlet happens is brought about by that the pitting Kwan-yin does not occur. sent2: the galling Boxer does not occur if that the coreferentialness does not occur and the galling Bohemian happens does not hold. sent3: if the fact that the auction does not occur is correct then that the archegonialness but not the ticktacktoe occurs is not correct. sent4: the transfer or the galling nasality or both triggers the overproduction. sent5: both the galling pisser and the acing happens if the galling Boxer does not occur. sent6: the pitting Kwan-yin does not occur and the leaningness does not occur if the reciprocation does not occur. sent7: that the galling halftime does not occur is prevented by that the inefficaciousness happens. sent8: if that the transferring and/or the galling nasality occurs is not incorrect the overproduction does not occur. sent9: if the fact that the aromaticness and the variegating myometrium happens is not correct then the reciprocation does not occur. sent10: the auctioning does not occur and the warming does not occur if the ace happens. sent11: if the PIN occurs then the territoriality occurs. sent12: if the transferring does not occur the fact that the galling halftime and the galling nasality happens is false. sent13: if that the archegonialness but not the ticktacktoe occurs is wrong that the disobliging moroseness does not occur hold. sent14: either the biosystematicness or the outlet or both occurs. sent15: if the transferring occurs then the fact that the overproduction does not occur is not false. sent16: if the fact that both the galling halftime and the galling nasality occurs is not right that the galling halftime does not occur is not false. sent17: if the bishopry does not occur the fact that the non-coreferentialness and the galling Bohemian happens is incorrect. sent18: if the disobliging moroseness does not occur then the fact that the fact that the aromaticness and the variegating myometrium happens is right is not true. sent19: that the overproduction but not the PIN occurs prevents the transferring. sent20: either the coreferentialness or the entrepreneurialness or both occurs.
void -> assump2: Let's assume that the overproduction happens.; void -> assump1: Let's assume that the galling nasality happens.; assump1 -> int1: either the transfer or the galling nasality or both occurs.; sent8 & int1 -> int2: the overproduction does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the galling nasality does not occur.;
the galling halftime does not occur.
$hypothesis$ = if the overproduction occurs then the territoriality occurs. ; $context$ = sent1: that the electrostaticness and/or the outlet happens is brought about by that the pitting Kwan-yin does not occur. sent2: the galling Boxer does not occur if that the coreferentialness does not occur and the galling Bohemian happens does not hold. sent3: if the fact that the auction does not occur is correct then that the archegonialness but not the ticktacktoe occurs is not correct. sent4: the transfer or the galling nasality or both triggers the overproduction. sent5: both the galling pisser and the acing happens if the galling Boxer does not occur. sent6: the pitting Kwan-yin does not occur and the leaningness does not occur if the reciprocation does not occur. sent7: that the galling halftime does not occur is prevented by that the inefficaciousness happens. sent8: if that the transferring and/or the galling nasality occurs is not incorrect the overproduction does not occur. sent9: if the fact that the aromaticness and the variegating myometrium happens is not correct then the reciprocation does not occur. sent10: the auctioning does not occur and the warming does not occur if the ace happens. sent11: if the PIN occurs then the territoriality occurs. sent12: if the transferring does not occur the fact that the galling halftime and the galling nasality happens is false. sent13: if that the archegonialness but not the ticktacktoe occurs is wrong that the disobliging moroseness does not occur hold. sent14: either the biosystematicness or the outlet or both occurs. sent15: if the transferring occurs then the fact that the overproduction does not occur is not false. sent16: if the fact that both the galling halftime and the galling nasality occurs is not right that the galling halftime does not occur is not false. sent17: if the bishopry does not occur the fact that the non-coreferentialness and the galling Bohemian happens is incorrect. sent18: if the disobliging moroseness does not occur then the fact that the fact that the aromaticness and the variegating myometrium happens is right is not true. sent19: that the overproduction but not the PIN occurs prevents the transferring. sent20: either the coreferentialness or the entrepreneurialness or both occurs. ; $proof$ = 
void -> assump2: Let's assume that the overproduction happens.; void -> assump1: Let's assume that the galling nasality happens.; assump1 -> int1: either the transfer or the galling nasality or both occurs.; sent8 & int1 -> int2: the overproduction does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the galling nasality does not occur.; __UNKNOWN__