if the sneering happens then the fact that the fertileness happens is true.
sent1: the imitativeness does not occur. sent2: the curatorship happens. sent3: if that the agitation does not occur is right that both the redemptiveness and the firelight happens is false. sent4: the sneer occurs if the fact that the redemptiveness happens and the firelight occurs does not hold. sent5: the Mormon does not occur. sent6: the univalveness happens. sent7: that the apiculturalness occurs leads to the fertileness. sent8: the non-apiculturalness is prevented by that the transpolarness happens. sent9: the non-redemptiveness prevents the sneer. sent10: the thematicness happens if the interstitialness happens. sent11: if the agitation happens then the transpolarness occurs. sent12: the extinctness happens if the offensiveness occurs. sent13: if the fact that that the redemptiveness and the firelight occurs is not wrong is not right the sneering does not occur. sent14: the freeze-drying Formosan occurs. sent15: that the housekeeping sacrificer happens is right. sent16: the fact that the freeze-drying Formosan and the mate occurs is wrong.
void -> assump1: Let's assume that the sneer occurs.; void -> assump2: Let's assume that the agitation does not occur.; sent3 & assump2 -> int1: the fact that both the redemptiveness and the firelight happens is false.; sent13 & int1 -> int2: the sneer does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the agitation occurs is not incorrect.; sent11 & int4 -> int5: the transpolarness happens.; sent8 & int5 -> int6: the apiculturalness occurs.; sent7 & int6 -> int7: the fertileness occurs.; [assump1] & int7 -> hypothesis;
the fact that the freeze-drying Formosan and the mate occurs is wrong.
 -> hypothesis;
$hypothesis$ = if the sneering happens then the fact that the fertileness happens is true. ; $context$ = sent1: the imitativeness does not occur. sent2: the curatorship happens. sent3: if that the agitation does not occur is right that both the redemptiveness and the firelight happens is false. sent4: the sneer occurs if the fact that the redemptiveness happens and the firelight occurs does not hold. sent5: the Mormon does not occur. sent6: the univalveness happens. sent7: that the apiculturalness occurs leads to the fertileness. sent8: the non-apiculturalness is prevented by that the transpolarness happens. sent9: the non-redemptiveness prevents the sneer. sent10: the thematicness happens if the interstitialness happens. sent11: if the agitation happens then the transpolarness occurs. sent12: the extinctness happens if the offensiveness occurs. sent13: if the fact that that the redemptiveness and the firelight occurs is not wrong is not right the sneering does not occur. sent14: the freeze-drying Formosan occurs. sent15: that the housekeeping sacrificer happens is right. sent16: the fact that the freeze-drying Formosan and the mate occurs is wrong. ; $proof$ = 
void -> assump1: Let's assume that the sneer occurs.; void -> assump2: Let's assume that the agitation does not occur.; sent3 & assump2 -> int1: the fact that both the redemptiveness and the firelight happens is false.; sent13 & int1 -> int2: the sneer does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the agitation occurs is not incorrect.; sent11 & int4 -> int5: the transpolarness happens.; sent8 & int5 -> int6: the apiculturalness occurs.; sent7 & int6 -> int7: the fertileness occurs.; [assump1] & int7 -> hypothesis; __PROVED__