the ecclesiasticism does not occur and the thyroidness occurs.
sent1: if the crime does not occur then that the lettering Adventist and the nonclassicalness happens is wrong. sent2: if the piggyback occurs that not the transaminating enlarger but the transaminating blubberer happens does not hold. sent3: the hummer does not occur if that the polydactylness but not the probe occurs is incorrect. sent4: if the fact that the lettering Adventist occurs and the classical does not occur is wrong the impermanentness does not occur. sent5: the non-impermanentness brings about either that the ergoticness occurs or the boot or both. sent6: the crosscheck does not occur and the coeliacness occurs. sent7: if the seesaw does not occur then the fact that the ignition happens and the spot-welding happens is incorrect. sent8: that the transaminating blubberer occurs and the spot-welding happens is incorrect. sent9: if that the crime happens and the pharmaceutical does not occur is wrong the crime does not occur. sent10: that the ecclesiasticism does not occur and the thyroid happens is false if the ignition does not occur. sent11: if the lettering mind does not occur then that both the crime and the non-pharmaceuticalness occurs is not right. sent12: the thyroid occurs. sent13: the precedence occurs. sent14: that the ecclesiasticism does not occur is right if that not the ignition but the seesaw occurs does not hold. sent15: the logging superannuation does not occur if that the lettering borderer happens is not incorrect. sent16: the fact that the ignition and the seesawing occurs is false. sent17: the lettering mind does not occur if the hummer does not occur. sent18: that the spot-welding does not occur hold if the fact that the transaminating blubberer happens and the spot-welding happens is not true.
void -> assump1: Let's assume that the ignition does not occur and the seesawing occurs.; assump1 -> int1: the seesawing happens.; sent18 & sent8 -> int2: the spot-welding does not occur.;
the fact that that the ecclesiasticism does not occur and the thyroid occurs is not correct is right.
$hypothesis$ = the ecclesiasticism does not occur and the thyroidness occurs. ; $context$ = sent1: if the crime does not occur then that the lettering Adventist and the nonclassicalness happens is wrong. sent2: if the piggyback occurs that not the transaminating enlarger but the transaminating blubberer happens does not hold. sent3: the hummer does not occur if that the polydactylness but not the probe occurs is incorrect. sent4: if the fact that the lettering Adventist occurs and the classical does not occur is wrong the impermanentness does not occur. sent5: the non-impermanentness brings about either that the ergoticness occurs or the boot or both. sent6: the crosscheck does not occur and the coeliacness occurs. sent7: if the seesaw does not occur then the fact that the ignition happens and the spot-welding happens is incorrect. sent8: that the transaminating blubberer occurs and the spot-welding happens is incorrect. sent9: if that the crime happens and the pharmaceutical does not occur is wrong the crime does not occur. sent10: that the ecclesiasticism does not occur and the thyroid happens is false if the ignition does not occur. sent11: if the lettering mind does not occur then that both the crime and the non-pharmaceuticalness occurs is not right. sent12: the thyroid occurs. sent13: the precedence occurs. sent14: that the ecclesiasticism does not occur is right if that not the ignition but the seesaw occurs does not hold. sent15: the logging superannuation does not occur if that the lettering borderer happens is not incorrect. sent16: the fact that the ignition and the seesawing occurs is false. sent17: the lettering mind does not occur if the hummer does not occur. sent18: that the spot-welding does not occur hold if the fact that the transaminating blubberer happens and the spot-welding happens is not true. ; $proof$ = 
void -> assump1: Let's assume that the ignition does not occur and the seesawing occurs.; assump1 -> int1: the seesawing happens.; sent18 & sent8 -> int2: the spot-welding does not occur.; __UNKNOWN__