if the hypophysealness does not occur then that the seizing does not occur is not incorrect.
sent1: if the conjugation happens the ringing happens. sent2: if the fact that the fact that the awnlessness and the acetylicness happens does not hold hold then the squalling does not occur. sent3: the bluffing does not occur if that not the hypophysealness but the reading grubstake occurs is false. sent4: if that both the transubstantiation and the thalassicness happens is not right the transubstantiation does not occur. sent5: the fact that the transubstantiation happens and the thalassicness occurs is not right if the corkscrewing gluttony does not occur. sent6: the creaseproofness happens. sent7: if the transubstantiation does not occur then that both the awnlessness and the acetylicness occurs is incorrect. sent8: if the corkscrewing Tutu does not occur the reading tributyrin does not occur. sent9: that the corkscrewing biopiracy and the corkscrewing gluttony occurs is wrong if the cooing does not occur. sent10: the anterior occurs and the ultramicroscopicness occurs if the squall does not occur. sent11: the seizing happens if the constantness happens. sent12: the usufructuariness does not occur. sent13: if the fact that the corkscrewing biopiracy occurs and the corkscrewing gluttony happens is wrong the corkscrewing gluttony does not occur. sent14: the unsympatheticness occurs if the broadsiding happens. sent15: the seizing occurs if the reading grubstake does not occur. sent16: if the reading grubstake occurs the hypophysealness happens. sent17: the seizing happens. sent18: the constantness happens if the anteriorness happens.
void -> assump2: Let's assume that the reading grubstake happens.; sent16 & assump2 -> int1: the hypophysealness occurs.; void -> assump1: Let's assume that that the hypophysealness does not occur hold.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the reading grubstake does not occur.;
that the bluff does not occur is not wrong.
$hypothesis$ = if the hypophysealness does not occur then that the seizing does not occur is not incorrect. ; $context$ = sent1: if the conjugation happens the ringing happens. sent2: if the fact that the fact that the awnlessness and the acetylicness happens does not hold hold then the squalling does not occur. sent3: the bluffing does not occur if that not the hypophysealness but the reading grubstake occurs is false. sent4: if that both the transubstantiation and the thalassicness happens is not right the transubstantiation does not occur. sent5: the fact that the transubstantiation happens and the thalassicness occurs is not right if the corkscrewing gluttony does not occur. sent6: the creaseproofness happens. sent7: if the transubstantiation does not occur then that both the awnlessness and the acetylicness occurs is incorrect. sent8: if the corkscrewing Tutu does not occur the reading tributyrin does not occur. sent9: that the corkscrewing biopiracy and the corkscrewing gluttony occurs is wrong if the cooing does not occur. sent10: the anterior occurs and the ultramicroscopicness occurs if the squall does not occur. sent11: the seizing happens if the constantness happens. sent12: the usufructuariness does not occur. sent13: if the fact that the corkscrewing biopiracy occurs and the corkscrewing gluttony happens is wrong the corkscrewing gluttony does not occur. sent14: the unsympatheticness occurs if the broadsiding happens. sent15: the seizing occurs if the reading grubstake does not occur. sent16: if the reading grubstake occurs the hypophysealness happens. sent17: the seizing happens. sent18: the constantness happens if the anteriorness happens. ; $proof$ = 
void -> assump2: Let's assume that the reading grubstake happens.; sent16 & assump2 -> int1: the hypophysealness occurs.; void -> assump1: Let's assume that that the hypophysealness does not occur hold.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the reading grubstake does not occur.; __UNKNOWN__