the molar is not a maharaja.
sent1: that the centenarian is a kind of an amelioration is true if it is eastern. sent2: the centenarian is a meadowlark and it is a quincentennial. sent3: something is eastern if it is a meadowlark. sent4: if there exists something such that it does not beat forgiveness the centenarian is a maharaja. sent5: something is a quincentennial and/or non-Incan if it is not a Brattleboro. sent6: there exists something such that that it does not weed exponentiation and it is not cholinergic is not true. sent7: the endemic is a maharaja. sent8: the endemic is quincentennial if something is a quincentennial and/or it is not Incan. sent9: something does not sunder but it is a kind of a director if it weeds exponentiation. sent10: if the molar is eastern the fact that it is a kind of an amelioration is true. sent11: if the molar is a kind of an amelioration or does beat forgiveness or both then the fact that the missus is not eastern is not wrong. sent12: if something does not sunder but it is a director that the rung is not a kind of a Brattleboro is not false. sent13: the missus is eastern if the centenarian is eastern. sent14: if that the missus is an amelioration but it is not a maharaja is not correct then the molar is a maharaja. sent15: the missus does beat forgiveness. sent16: the dyer is not a meadowlark and is eastern if the endemic is quincentennial. sent17: if the molar is a maharaja it does beat forgiveness. sent18: the missus does fudge blackfish and it is a kind of a mumble. sent19: the forequarter does weed exponentiation if there is something such that the fact that it does not weed exponentiation and it is not cholinergic is false. sent20: if the dyer is not a kind of a meadowlark but it is eastern the fact that the establishment does not beat forgiveness is correct. sent21: the molar is not eastern if the centenarian either does beat forgiveness or is a quincentennial or both.
void -> assump1: Let's assume that the molar is a maharaja.; sent17 & assump1 -> int1: the molar does beat forgiveness.; int1 -> int2: the molar is an amelioration or it does beat forgiveness or both.; int2 & sent11 -> int3: the missus is not eastern.; sent3 -> int4: if the centenarian is a meadowlark then it is eastern.; sent2 -> int5: the centenarian is a meadowlark.; int4 & int5 -> int6: the centenarian is not non-eastern.; sent13 & int6 -> int7: the missus is eastern.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the molar is a maharaja.
sent5 -> int9: if the rung is not a Brattleboro it is quincentennial and/or it is not Incan.; sent9 -> int10: the forequarter does not sunder but it is a director if the fact that it does weed exponentiation is not false.; sent6 & sent19 -> int11: the forequarter weeds exponentiation.; int10 & int11 -> int12: the forequarter does not sunder but it is a kind of a director.; int12 -> int13: there is something such that it does not sunder and is a director.; int13 & sent12 -> int14: the rung is not a Brattleboro.; int9 & int14 -> int15: the rung is a quincentennial or it is not Incan or both.; int15 -> int16: there exists something such that it is not non-quincentennial and/or it is not Incan.; int16 & sent8 -> int17: the endemic is a kind of a quincentennial.; sent16 & int17 -> int18: the dyer is not a kind of a meadowlark and is eastern.; sent20 & int18 -> int19: the establishment does not beat forgiveness.; int19 -> int20: there exists something such that it does not beat forgiveness.; int20 & sent4 -> int21: the centenarian is a maharaja.; int21 -> int22: something is a kind of a maharaja.;
$hypothesis$ = the molar is not a maharaja. ; $context$ = sent1: that the centenarian is a kind of an amelioration is true if it is eastern. sent2: the centenarian is a meadowlark and it is a quincentennial. sent3: something is eastern if it is a meadowlark. sent4: if there exists something such that it does not beat forgiveness the centenarian is a maharaja. sent5: something is a quincentennial and/or non-Incan if it is not a Brattleboro. sent6: there exists something such that that it does not weed exponentiation and it is not cholinergic is not true. sent7: the endemic is a maharaja. sent8: the endemic is quincentennial if something is a quincentennial and/or it is not Incan. sent9: something does not sunder but it is a kind of a director if it weeds exponentiation. sent10: if the molar is eastern the fact that it is a kind of an amelioration is true. sent11: if the molar is a kind of an amelioration or does beat forgiveness or both then the fact that the missus is not eastern is not wrong. sent12: if something does not sunder but it is a director that the rung is not a kind of a Brattleboro is not false. sent13: the missus is eastern if the centenarian is eastern. sent14: if that the missus is an amelioration but it is not a maharaja is not correct then the molar is a maharaja. sent15: the missus does beat forgiveness. sent16: the dyer is not a meadowlark and is eastern if the endemic is quincentennial. sent17: if the molar is a maharaja it does beat forgiveness. sent18: the missus does fudge blackfish and it is a kind of a mumble. sent19: the forequarter does weed exponentiation if there is something such that the fact that it does not weed exponentiation and it is not cholinergic is false. sent20: if the dyer is not a kind of a meadowlark but it is eastern the fact that the establishment does not beat forgiveness is correct. sent21: the molar is not eastern if the centenarian either does beat forgiveness or is a quincentennial or both. ; $proof$ = 
void -> assump1: Let's assume that the molar is a maharaja.; sent17 & assump1 -> int1: the molar does beat forgiveness.; int1 -> int2: the molar is an amelioration or it does beat forgiveness or both.; int2 & sent11 -> int3: the missus is not eastern.; sent3 -> int4: if the centenarian is a meadowlark then it is eastern.; sent2 -> int5: the centenarian is a meadowlark.; int4 & int5 -> int6: the centenarian is not non-eastern.; sent13 & int6 -> int7: the missus is eastern.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__