that the piton is an herbal is right.
sent1: that the piton is herbal thing that is a backbench is not wrong if there is something such that that it is decent is not incorrect. sent2: the constituent is a promoter if it is unchristian. sent3: something that compromises does not spend seedtime and is a Aachen. sent4: if the fact that something is not achenial and it does not conglutinate is false it is a compromise. sent5: the constituent is unchristian or it does not spend enterprise or both. sent6: something that is not a backbench is not decent and is not an herbal. sent7: the piton is a backbench. sent8: if there exists something such that the fact that it is decent is true then the piton is a backbench. sent9: the fact that the piton is not achenial and does not conglutinate is incorrect if the constituent is a promoter. sent10: if the piton is not a backbench then the cursor is an herbal that is not indecent. sent11: there exists something such that it is decent. sent12: if something that does not spend seedtime is a Aachen then it is not a backbench. sent13: something is a kind of an herbal. sent14: something is a backbench. sent15: the hotel-casino does spend armiger and is an herbal. sent16: the piton is a Lawrence and rehabilitates Teleprompter. sent17: the neoprene is a backbench and is heliacal. sent18: the piton is a songbird.
sent11 & sent1 -> int1: the piton is herbal a backbench.; int1 -> hypothesis;
the cursor is a kind of herbal a Photostat.
$hypothesis$ = that the piton is an herbal is right. ; $context$ = sent1: that the piton is herbal thing that is a backbench is not wrong if there is something such that that it is decent is not incorrect. sent2: the constituent is a promoter if it is unchristian. sent3: something that compromises does not spend seedtime and is a Aachen. sent4: if the fact that something is not achenial and it does not conglutinate is false it is a compromise. sent5: the constituent is unchristian or it does not spend enterprise or both. sent6: something that is not a backbench is not decent and is not an herbal. sent7: the piton is a backbench. sent8: if there exists something such that the fact that it is decent is true then the piton is a backbench. sent9: the fact that the piton is not achenial and does not conglutinate is incorrect if the constituent is a promoter. sent10: if the piton is not a backbench then the cursor is an herbal that is not indecent. sent11: there exists something such that it is decent. sent12: if something that does not spend seedtime is a Aachen then it is not a backbench. sent13: something is a kind of an herbal. sent14: something is a backbench. sent15: the hotel-casino does spend armiger and is an herbal. sent16: the piton is a Lawrence and rehabilitates Teleprompter. sent17: the neoprene is a backbench and is heliacal. sent18: the piton is a songbird. ; $proof$ = 
sent11 & sent1 -> int1: the piton is herbal a backbench.; int1 -> hypothesis; __PROVED__