the ferromagnetism is mesial.
sent1: the Asian does tincture liqueur and it is a foible. sent2: if the ferromagnetism does not overbear then it is mesial. sent3: the ferromagnetism is not mesial if the liqueur is not mesial. sent4: the fact that something is mesial hold if that it is not false and it does overbear is not true. sent5: that the ferromagnetism is non-false but it does overbear is not correct if the liqueur is not non-false. sent6: if the Asian tinctures liqueur and it is a foible the gulch does not tinctures liqueur. sent7: if the fact that the gulch does not overbear but it does redecorate routemarch is not true it is false. sent8: the gulch redecorates routemarch if it does not tincture liqueur. sent9: if the liqueur is false the gulch clips. sent10: if something does not overbear it is mesial. sent11: if the Asian is not immunodeficient then it does fall Marcionism. sent12: the entree is not Ptolemaic if it overbears. sent13: if something is a clip or it is a footnote or both it does not redecorate routemarch. sent14: the liqueur does not clip.
void -> assump1: Let's assume that the liqueur is false.; sent9 & assump1 -> int1: the gulch is a kind of a clip.; int1 -> int2: the gulch clips and/or it is a kind of a footnote.; sent13 -> int3: if the gulch does clip and/or is a footnote it does not redecorate routemarch.; int2 & int3 -> int4: the gulch does not redecorate routemarch.; sent6 & sent1 -> int5: the gulch does not tincture liqueur.; sent8 & int5 -> int6: the gulch redecorates routemarch.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the liqueur is not false.; int8 & sent5 -> int9: that the ferromagnetism is not false but it overbears is not correct.; sent4 -> int10: the ferromagnetism is mesial if the fact that it is not false and overbears is incorrect.; int9 & int10 -> hypothesis;
the ferromagnetism is not mesial.
$hypothesis$ = the ferromagnetism is mesial. ; $context$ = sent1: the Asian does tincture liqueur and it is a foible. sent2: if the ferromagnetism does not overbear then it is mesial. sent3: the ferromagnetism is not mesial if the liqueur is not mesial. sent4: the fact that something is mesial hold if that it is not false and it does overbear is not true. sent5: that the ferromagnetism is non-false but it does overbear is not correct if the liqueur is not non-false. sent6: if the Asian tinctures liqueur and it is a foible the gulch does not tinctures liqueur. sent7: if the fact that the gulch does not overbear but it does redecorate routemarch is not true it is false. sent8: the gulch redecorates routemarch if it does not tincture liqueur. sent9: if the liqueur is false the gulch clips. sent10: if something does not overbear it is mesial. sent11: if the Asian is not immunodeficient then it does fall Marcionism. sent12: the entree is not Ptolemaic if it overbears. sent13: if something is a clip or it is a footnote or both it does not redecorate routemarch. sent14: the liqueur does not clip. ; $proof$ = 
void -> assump1: Let's assume that the liqueur is false.; sent9 & assump1 -> int1: the gulch is a kind of a clip.; int1 -> int2: the gulch clips and/or it is a kind of a footnote.; sent13 -> int3: if the gulch does clip and/or is a footnote it does not redecorate routemarch.; int2 & int3 -> int4: the gulch does not redecorate routemarch.; sent6 & sent1 -> int5: the gulch does not tincture liqueur.; sent8 & int5 -> int6: the gulch redecorates routemarch.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the liqueur is not false.; int8 & sent5 -> int9: that the ferromagnetism is not false but it overbears is not correct.; sent4 -> int10: the ferromagnetism is mesial if the fact that it is not false and overbears is incorrect.; int9 & int10 -> hypothesis; __PROVED__