the poi is a reevaluation.
sent1: the Orangeman is a kind of a reminiscence if the fact that the moray is not a reminiscence and it does not instruct is not right. sent2: the pied-a-terre is not on-the-job and does not unspell arithmancy. sent3: the fact that everything is cryptobiotic is not wrong. sent4: if the pied-a-terre is not a reevaluation the poi is not a sneer and is not a reevaluation. sent5: the fact that the pied-a-terre does not sneer is true if there exists something such that it is a reevaluation and/or it is cryptobiotic. sent6: the swathing is not a reevaluation if something is cryptobiotic and/or sneers. sent7: that that the poi is a reevaluation hold if the swathing is cryptobiotic and not a sneer hold. sent8: that the pied-a-terre is not a reminiscence is not false if something is cryptobiotic or it is a kind of a reevaluation or both. sent9: if something does not rustle omelet then that it is not a kind of a reminiscence and does not instruct does not hold. sent10: the poi is not a reminiscence and it is not a reevaluation if the swathing is not a reevaluation. sent11: the poi is not a reminiscence. sent12: if something is not a kind of a mountaineer that it is a dockage that despairs Orangeman does not hold. sent13: if the swathing is not a kind of a reevaluation the poi is not a reminiscence. sent14: if that something habits villa is right then it is both cryptobiotic and not a sneer. sent15: the swathing is not a reevaluation if the fact that something does sneer hold. sent16: if that something is a kind of a dockage and does despair Orangeman is not true then it does not rustle omelet. sent17: if the Orangeman is a reminiscence the swathing does habit villa.
sent3 -> int1: the pied-a-terre is cryptobiotic.; int1 -> int2: the pied-a-terre is cryptobiotic and/or sneers.; int2 -> int3: there exists something such that either it is cryptobiotic or it is a sneer or both.; int3 & sent6 -> int4: the swathing is not a reevaluation.; int4 & sent10 -> int5: the poi is both not a reminiscence and not a reevaluation.; int5 -> hypothesis;
the poi is a kind of a reevaluation.
sent14 -> int6: the swathing is cryptobiotic and not a sneer if it does habit villa.; sent9 -> int7: if the moray does not rustle omelet then the fact that it is not a kind of a reminiscence and does not instruct is not correct.; sent16 -> int8: if the fact that the moray is a kind of a dockage that despairs Orangeman is not right then it does not rustle omelet.; sent12 -> int9: if the moray does not mountaineer then that it is a dockage and it does despair Orangeman does not hold.;
$hypothesis$ = the poi is a reevaluation. ; $context$ = sent1: the Orangeman is a kind of a reminiscence if the fact that the moray is not a reminiscence and it does not instruct is not right. sent2: the pied-a-terre is not on-the-job and does not unspell arithmancy. sent3: the fact that everything is cryptobiotic is not wrong. sent4: if the pied-a-terre is not a reevaluation the poi is not a sneer and is not a reevaluation. sent5: the fact that the pied-a-terre does not sneer is true if there exists something such that it is a reevaluation and/or it is cryptobiotic. sent6: the swathing is not a reevaluation if something is cryptobiotic and/or sneers. sent7: that that the poi is a reevaluation hold if the swathing is cryptobiotic and not a sneer hold. sent8: that the pied-a-terre is not a reminiscence is not false if something is cryptobiotic or it is a kind of a reevaluation or both. sent9: if something does not rustle omelet then that it is not a kind of a reminiscence and does not instruct does not hold. sent10: the poi is not a reminiscence and it is not a reevaluation if the swathing is not a reevaluation. sent11: the poi is not a reminiscence. sent12: if something is not a kind of a mountaineer that it is a dockage that despairs Orangeman does not hold. sent13: if the swathing is not a kind of a reevaluation the poi is not a reminiscence. sent14: if that something habits villa is right then it is both cryptobiotic and not a sneer. sent15: the swathing is not a reevaluation if the fact that something does sneer hold. sent16: if that something is a kind of a dockage and does despair Orangeman is not true then it does not rustle omelet. sent17: if the Orangeman is a reminiscence the swathing does habit villa. ; $proof$ = 
sent3 -> int1: the pied-a-terre is cryptobiotic.; int1 -> int2: the pied-a-terre is cryptobiotic and/or sneers.; int2 -> int3: there exists something such that either it is cryptobiotic or it is a sneer or both.; int3 & sent6 -> int4: the swathing is not a reevaluation.; int4 & sent10 -> int5: the poi is both not a reminiscence and not a reevaluation.; int5 -> hypothesis; __DISPROVED__