the ipecac does recline habit but it is not a devoir.
sent1: if something that is not a Physeteridae does not fish modernism the ipecac is a spandrel. sent2: something is not a Physeteridae and does not fish modernism. sent3: the ipecac does recline habit if there is something such that it does not shag and it is not a kind of a devoir. sent4: the ipecac shags. sent5: if the ipecac does shag then the fact that it is a kind of a concerned that is annexational is false. sent6: if something is a kind of a Physeteridae that does not fish modernism then the ipecac is a spandrel. sent7: if the fact that the ipecac does shag is not wrong then that it is both not a concerned and annexational is not correct. sent8: the homestead is annexational. sent9: the fact that the ipecac is not a kind of a devoir is correct if the fact that it does not concern and it is annexational is not true. sent10: the decoction does recline habit. sent11: the ipecac is cryonic. sent12: something does recline habit if it is a kind of a spandrel. sent13: there exists something such that it is not a Physeteridae.
sent2 & sent1 -> int1: the ipecac is a kind of a spandrel.; sent12 -> int2: the ipecac reclines habit if it is a spandrel.; int1 & int2 -> int3: that the ipecac reclines habit hold.; sent7 & sent4 -> int4: that the ipecac is not a kind of a concerned and is annexational is not correct.; sent9 & int4 -> int5: the ipecac is not a kind of a devoir.; int3 & int5 -> hypothesis;
$hypothesis$ = the ipecac does recline habit but it is not a devoir. ; $context$ = sent1: if something that is not a Physeteridae does not fish modernism the ipecac is a spandrel. sent2: something is not a Physeteridae and does not fish modernism. sent3: the ipecac does recline habit if there is something such that it does not shag and it is not a kind of a devoir. sent4: the ipecac shags. sent5: if the ipecac does shag then the fact that it is a kind of a concerned that is annexational is false. sent6: if something is a kind of a Physeteridae that does not fish modernism then the ipecac is a spandrel. sent7: if the fact that the ipecac does shag is not wrong then that it is both not a concerned and annexational is not correct. sent8: the homestead is annexational. sent9: the fact that the ipecac is not a kind of a devoir is correct if the fact that it does not concern and it is annexational is not true. sent10: the decoction does recline habit. sent11: the ipecac is cryonic. sent12: something does recline habit if it is a kind of a spandrel. sent13: there exists something such that it is not a Physeteridae. ; $proof$ = 
sent2 & sent1 -> int1: the ipecac is a kind of a spandrel.; sent12 -> int2: the ipecac reclines habit if it is a spandrel.; int1 & int2 -> int3: that the ipecac reclines habit hold.; sent7 & sent4 -> int4: that the ipecac is not a kind of a concerned and is annexational is not correct.; sent9 & int4 -> int5: the ipecac is not a kind of a devoir.; int3 & int5 -> hypothesis; __PROVED__