the Pole is rimless.
sent1: the Pole is not isotropic. sent2: something is both a antiemetic and a Rhus if it is not a productiveness. sent3: if the Pole is not a monasticism but it is isotropic it is not a damourite. sent4: the mensch is a kind of a damourite if there exists something such that that it is not a damourite but non-Javanese is not right. sent5: something is not rimless if it is a kind of an elective. sent6: if the fact that the monoclonal is not a gear is right the fact that the cerate is both non-homologous and not rimless is not true. sent7: the Pole is a Javanese if it is isotropic. sent8: if something is a kind of a antiemetic that is a Rhus it does not gear. sent9: the Pole is not elective if there exists something such that the fact that it is a kind of non-homologous thing that is not rimless is not right. sent10: that the Pole is not a kind of a monasticism and is isotropic is incorrect. sent11: if that something is not a monasticism and not isotropic does not hold it is Javanese. sent12: something is a Javanese if it is isotropic. sent13: everything is not a productiveness. sent14: something is not rimless if it is a kind of a Javanese or it is an elective or both. sent15: if the Pole is not a monasticism and it is not isotropic it is not a damourite. sent16: the cerate is a damourite. sent17: if the cerate is a damourite then the Pole is a damourite. sent18: if the Pole is an elective then it is not rimless.
void -> assump1: Let's assume that the Pole is not a kind of a monasticism and it is not isotropic.; sent15 & assump1 -> int1: the Pole is not a kind of a damourite.; sent17 & sent16 -> int2: the Pole is a kind of a damourite.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the Pole is not a monasticism and it is not isotropic is not right.; sent11 -> int5: the Pole is a Javanese if the fact that it is not a kind of a monasticism and is not isotropic is incorrect.; int4 & int5 -> int6: the Pole is Javanese.; int6 -> int7: either the Pole is a Javanese or it is an elective or both.; sent14 -> int8: if the Pole is Javanese and/or elective then that it is rimless is wrong.; int7 & int8 -> hypothesis;
the mensch is a damourite.
sent2 -> int9: if the oxidoreductase is not a kind of a productiveness then it is a antiemetic and is a Rhus.; sent13 -> int10: the oxidoreductase is not a productiveness.; int9 & int10 -> int11: the oxidoreductase is a antiemetic and is a Rhus.; int11 -> int12: everything is a kind of a antiemetic that is a Rhus.; int12 -> int13: the monoclonal is a antiemetic and it is a Rhus.; sent8 -> int14: if the monoclonal is a antiemetic and is a Rhus it is not a gear.; int13 & int14 -> int15: the monoclonal is not a gear.; int15 & sent6 -> int16: the fact that the cerate is not homologous and is not rimless does not hold.; int16 -> int17: there is something such that that it is not homologous and it is not rimless is not right.; int17 & sent9 -> int18: the Pole is not an elective.;
$hypothesis$ = the Pole is rimless. ; $context$ = sent1: the Pole is not isotropic. sent2: something is both a antiemetic and a Rhus if it is not a productiveness. sent3: if the Pole is not a monasticism but it is isotropic it is not a damourite. sent4: the mensch is a kind of a damourite if there exists something such that that it is not a damourite but non-Javanese is not right. sent5: something is not rimless if it is a kind of an elective. sent6: if the fact that the monoclonal is not a gear is right the fact that the cerate is both non-homologous and not rimless is not true. sent7: the Pole is a Javanese if it is isotropic. sent8: if something is a kind of a antiemetic that is a Rhus it does not gear. sent9: the Pole is not elective if there exists something such that the fact that it is a kind of non-homologous thing that is not rimless is not right. sent10: that the Pole is not a kind of a monasticism and is isotropic is incorrect. sent11: if that something is not a monasticism and not isotropic does not hold it is Javanese. sent12: something is a Javanese if it is isotropic. sent13: everything is not a productiveness. sent14: something is not rimless if it is a kind of a Javanese or it is an elective or both. sent15: if the Pole is not a monasticism and it is not isotropic it is not a damourite. sent16: the cerate is a damourite. sent17: if the cerate is a damourite then the Pole is a damourite. sent18: if the Pole is an elective then it is not rimless. ; $proof$ = 
void -> assump1: Let's assume that the Pole is not a kind of a monasticism and it is not isotropic.; sent15 & assump1 -> int1: the Pole is not a kind of a damourite.; sent17 & sent16 -> int2: the Pole is a kind of a damourite.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the Pole is not a monasticism and it is not isotropic is not right.; sent11 -> int5: the Pole is a Javanese if the fact that it is not a kind of a monasticism and is not isotropic is incorrect.; int4 & int5 -> int6: the Pole is Javanese.; int6 -> int7: either the Pole is a Javanese or it is an elective or both.; sent14 -> int8: if the Pole is Javanese and/or elective then that it is rimless is wrong.; int7 & int8 -> hypothesis; __DISPROVED__