the tormenting Faroese does not occur if the fraternalness does not occur.
sent1: if the Moon does not occur then the full-timeness happens. sent2: the fact that the fraternalness happens is true if the tormenting Faroese occurs. sent3: if the fact that the fraternalness does not occur and the tormenting Faroese does not occur is false the glint does not occur. sent4: both the non-Georgianness and the non-endoparasiticness happens if the conformity happens. sent5: if the pop does not occur the campaigning and the propulsiveness happens. sent6: the naming denudation happens. sent7: if the affixalness happens then that the lapse occurs but the moment does not occur is incorrect. sent8: the conformity happens but the typicalness does not occur if the pecticness happens. sent9: the pop does not occur if that the noninheritableness does not occur but the neotenicness happens is wrong. sent10: the fact that the fraternalness does not occur and the tormenting Faroese does not occur does not hold if the campaign occurs. sent11: if the fact that the jointure happens is not incorrect then that the inheritableness and the neotenicness occurs is wrong. sent12: if the fact that the lapsing but not the moment happens is not true the lapsing does not occur. sent13: that the lapse does not occur brings about that both the pecticness and the bayoneting hornbook happens. sent14: the jointure happens and the bayoneting Camelus occurs if the endoparasiticness does not occur.
void -> assump2: Let's assume that the tormenting Faroese happens.; sent2 & assump2 -> int1: the fraternalness occurs.; void -> assump1: Let's assume that the fraternalness does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the tormenting Faroese does not occur.; [assump1] & int3 -> hypothesis;
the glint does not occur.
$hypothesis$ = the tormenting Faroese does not occur if the fraternalness does not occur. ; $context$ = sent1: if the Moon does not occur then the full-timeness happens. sent2: the fact that the fraternalness happens is true if the tormenting Faroese occurs. sent3: if the fact that the fraternalness does not occur and the tormenting Faroese does not occur is false the glint does not occur. sent4: both the non-Georgianness and the non-endoparasiticness happens if the conformity happens. sent5: if the pop does not occur the campaigning and the propulsiveness happens. sent6: the naming denudation happens. sent7: if the affixalness happens then that the lapse occurs but the moment does not occur is incorrect. sent8: the conformity happens but the typicalness does not occur if the pecticness happens. sent9: the pop does not occur if that the noninheritableness does not occur but the neotenicness happens is wrong. sent10: the fact that the fraternalness does not occur and the tormenting Faroese does not occur does not hold if the campaign occurs. sent11: if the fact that the jointure happens is not incorrect then that the inheritableness and the neotenicness occurs is wrong. sent12: if the fact that the lapsing but not the moment happens is not true the lapsing does not occur. sent13: that the lapse does not occur brings about that both the pecticness and the bayoneting hornbook happens. sent14: the jointure happens and the bayoneting Camelus occurs if the endoparasiticness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the tormenting Faroese happens.; sent2 & assump2 -> int1: the fraternalness occurs.; void -> assump1: Let's assume that the fraternalness does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the tormenting Faroese does not occur.; [assump1] & int3 -> hypothesis; __PROVED__