the fact that the remover is statutory and does pile is incorrect.
sent1: if something is trustworthy then it is papilliform. sent2: the smilo is not a Baku if the fact that the kingbird is statutory and it is Bayesian does not hold. sent3: the remover is statutory. sent4: the caretaker is a kind of trustworthy thing that is propitious if the remover is not a leitmotiv. sent5: that the kingbird is statutory and Bayesian does not hold. sent6: something that is a Baku does pile. sent7: something is trustworthy if the fact that the fact that it is a leitmotiv and it is not a kind of a mainframe hold is incorrect. sent8: the fact that the wig is not propitious and is not a leitmotiv is incorrect. sent9: the coralberry is not non-papilliform if there is something such that that it is non-non-papilliform thing that does not pile does not hold. sent10: that the wig is not papilliform and it is not a pile is incorrect if there exists something such that it is not a kind of a Baku. sent11: the berlin either is not a kind of a leitmotiv or is not a mainframe or both if there exists something such that it is papilliform. sent12: that the remover is a leitmotiv and is not a kind of a mainframe is wrong if something is not propitious. sent13: there exists something such that it is not propitious. sent14: that something is a Baku is true if it is papilliform.
sent13 & sent12 -> int1: the fact that the remover is a leitmotiv but it is not a mainframe does not hold.; sent7 -> int2: if the fact that the remover is a leitmotiv and is not a kind of a mainframe does not hold it is trustworthy.; int1 & int2 -> int3: the remover is trustworthy.; sent1 -> int4: the remover is papilliform if the fact that it is trustworthy is not false.; int3 & int4 -> int5: the remover is papilliform.; sent14 -> int6: the remover is a kind of a Baku if the fact that it is not non-papilliform is not incorrect.; int5 & int6 -> int7: the fact that the remover is a Baku is not false.; sent6 -> int8: the remover piles if it is a Baku.; int7 & int8 -> int9: the remover piles.; int9 & sent3 -> hypothesis;
that the fact that the remover is statutory and a pile is not true hold.
sent8 -> int10: there is something such that the fact that it is not propitious and it is not a leitmotiv does not hold.;
$hypothesis$ = the fact that the remover is statutory and does pile is incorrect. ; $context$ = sent1: if something is trustworthy then it is papilliform. sent2: the smilo is not a Baku if the fact that the kingbird is statutory and it is Bayesian does not hold. sent3: the remover is statutory. sent4: the caretaker is a kind of trustworthy thing that is propitious if the remover is not a leitmotiv. sent5: that the kingbird is statutory and Bayesian does not hold. sent6: something that is a Baku does pile. sent7: something is trustworthy if the fact that the fact that it is a leitmotiv and it is not a kind of a mainframe hold is incorrect. sent8: the fact that the wig is not propitious and is not a leitmotiv is incorrect. sent9: the coralberry is not non-papilliform if there is something such that that it is non-non-papilliform thing that does not pile does not hold. sent10: that the wig is not papilliform and it is not a pile is incorrect if there exists something such that it is not a kind of a Baku. sent11: the berlin either is not a kind of a leitmotiv or is not a mainframe or both if there exists something such that it is papilliform. sent12: that the remover is a leitmotiv and is not a kind of a mainframe is wrong if something is not propitious. sent13: there exists something such that it is not propitious. sent14: that something is a Baku is true if it is papilliform. ; $proof$ = 
sent13 & sent12 -> int1: the fact that the remover is a leitmotiv but it is not a mainframe does not hold.; sent7 -> int2: if the fact that the remover is a leitmotiv and is not a kind of a mainframe does not hold it is trustworthy.; int1 & int2 -> int3: the remover is trustworthy.; sent1 -> int4: the remover is papilliform if the fact that it is trustworthy is not false.; int3 & int4 -> int5: the remover is papilliform.; sent14 -> int6: the remover is a kind of a Baku if the fact that it is not non-papilliform is not incorrect.; int5 & int6 -> int7: the fact that the remover is a Baku is not false.; sent6 -> int8: the remover piles if it is a Baku.; int7 & int8 -> int9: the remover piles.; int9 & sent3 -> hypothesis; __DISPROVED__