the dolmen is a fortieth.
sent1: the trainman is not aboriginal. sent2: the fact that the hierarch avoids cascade is not wrong if the careerist is a Zoroastrianism. sent3: the landscaping is not a tailcoat. sent4: the hierarch is a glycine. sent5: the fact that the trainman corresponds Monnet and does avoid cascade is not true if there is something such that that it is nutritional hold. sent6: if the landscaping is not a tailcoat then it is either non-aboriginal or not a ben or both. sent7: if the trainman is not aboriginal it does correspond houseroom. sent8: if the hierarch is a sealer the dolmen is a fortieth. sent9: if the trainman avoids cascade then it is a Zoroastrianism. sent10: the ballpoint is not a sealer and it does not correspond houseroom if it is not aboriginal. sent11: the Pitman is inflexible and it does correspond Monnet if it is not a Zoroastrianism. sent12: if something is a Zoroastrianism then it is a glycine. sent13: if there exists something such that it is a glycine the Pitman is not a Zoroastrianism. sent14: there is something such that it is nutritional. sent15: the trainman does avoid cascade if the hierarch does avoid cascade. sent16: if something avoids cascade it corresponds Monnet. sent17: something that either is not nutritional or is not a fortieth or both is not a fortieth. sent18: if the fact that something does correspond Monnet and does not avoid cascade is false it is a Zoroastrianism. sent19: if there exists something such that it is nutritional that the trainman corresponds Monnet but it does not avoid cascade is incorrect. sent20: the dolmen corresponds Monnet if the trainman does corresponds Monnet. sent21: something is not nutritional and/or it is not a kind of a fortieth if it does correspond Monnet. sent22: the trainman is a adamance and it corresponds houseroom if it is not aboriginal. sent23: if the ballpoint is a glycine the careerist is a Zoroastrianism. sent24: if something avoids cascade then it is a kind of a Zoroastrianism. sent25: there is something such that it is a adamance. sent26: the hierarch is a sealer if there exists something such that it is a kind of a glycine and it is a adamance. sent27: the ballpoint is not aboriginal if the landscaping is not aboriginal.
sent14 & sent19 -> int1: that the trainman does correspond Monnet and does not avoid cascade is not true.; sent18 -> int2: if that the trainman does correspond Monnet and does not avoid cascade is not correct then it is a Zoroastrianism.; int1 & int2 -> int3: the trainman is a Zoroastrianism.; sent12 -> int4: if the trainman is a kind of a Zoroastrianism then it is a glycine.; int3 & int4 -> int5: the trainman is a glycine.; sent22 & sent1 -> int6: the trainman is a kind of a adamance and it does correspond houseroom.; int6 -> int7: the fact that the trainman is a adamance is not false.; int5 & int7 -> int8: the trainman is a glycine and it is a kind of a adamance.; int8 -> int9: there is something such that it is a glycine and a adamance.; int9 & sent26 -> int10: that the hierarch is a sealer is right.; int10 & sent8 -> hypothesis;
the dolmen is not a fortieth.
sent17 -> int11: the dolmen is not a fortieth if either it is not nutritional or it is not a kind of a fortieth or both.; sent21 -> int12: the dolmen is not nutritional or it is not a fortieth or both if it does correspond Monnet.; sent16 -> int13: the trainman corresponds Monnet if it avoids cascade.; sent6 & sent3 -> int14: the landscaping is not aboriginal and/or is not a kind of a ben.;
$hypothesis$ = the dolmen is a fortieth. ; $context$ = sent1: the trainman is not aboriginal. sent2: the fact that the hierarch avoids cascade is not wrong if the careerist is a Zoroastrianism. sent3: the landscaping is not a tailcoat. sent4: the hierarch is a glycine. sent5: the fact that the trainman corresponds Monnet and does avoid cascade is not true if there is something such that that it is nutritional hold. sent6: if the landscaping is not a tailcoat then it is either non-aboriginal or not a ben or both. sent7: if the trainman is not aboriginal it does correspond houseroom. sent8: if the hierarch is a sealer the dolmen is a fortieth. sent9: if the trainman avoids cascade then it is a Zoroastrianism. sent10: the ballpoint is not a sealer and it does not correspond houseroom if it is not aboriginal. sent11: the Pitman is inflexible and it does correspond Monnet if it is not a Zoroastrianism. sent12: if something is a Zoroastrianism then it is a glycine. sent13: if there exists something such that it is a glycine the Pitman is not a Zoroastrianism. sent14: there is something such that it is nutritional. sent15: the trainman does avoid cascade if the hierarch does avoid cascade. sent16: if something avoids cascade it corresponds Monnet. sent17: something that either is not nutritional or is not a fortieth or both is not a fortieth. sent18: if the fact that something does correspond Monnet and does not avoid cascade is false it is a Zoroastrianism. sent19: if there exists something such that it is nutritional that the trainman corresponds Monnet but it does not avoid cascade is incorrect. sent20: the dolmen corresponds Monnet if the trainman does corresponds Monnet. sent21: something is not nutritional and/or it is not a kind of a fortieth if it does correspond Monnet. sent22: the trainman is a adamance and it corresponds houseroom if it is not aboriginal. sent23: if the ballpoint is a glycine the careerist is a Zoroastrianism. sent24: if something avoids cascade then it is a kind of a Zoroastrianism. sent25: there is something such that it is a adamance. sent26: the hierarch is a sealer if there exists something such that it is a kind of a glycine and it is a adamance. sent27: the ballpoint is not aboriginal if the landscaping is not aboriginal. ; $proof$ = 
sent14 & sent19 -> int1: that the trainman does correspond Monnet and does not avoid cascade is not true.; sent18 -> int2: if that the trainman does correspond Monnet and does not avoid cascade is not correct then it is a Zoroastrianism.; int1 & int2 -> int3: the trainman is a Zoroastrianism.; sent12 -> int4: if the trainman is a kind of a Zoroastrianism then it is a glycine.; int3 & int4 -> int5: the trainman is a glycine.; sent22 & sent1 -> int6: the trainman is a kind of a adamance and it does correspond houseroom.; int6 -> int7: the fact that the trainman is a adamance is not false.; int5 & int7 -> int8: the trainman is a glycine and it is a kind of a adamance.; int8 -> int9: there is something such that it is a glycine and a adamance.; int9 & sent26 -> int10: that the hierarch is a sealer is right.; int10 & sent8 -> hypothesis; __PROVED__