the simnel is not a shogi.
sent1: there is something such that it is a kind of a anaplasty. sent2: the simnel is not a kind of a shogi if that the caravansary touts Pomacanthus and does tout chaplaincy is not true. sent3: the gynostegium is not a peace if there exists something such that it is not amitotic. sent4: the simnel is not a shogi if that the caravansary touts chaplaincy is wrong. sent5: there exists something such that it is a anaplasty and is amitotic. sent6: something is a kind of a anaplasty if the fact that it is not archaeological and it is corinthian does not hold. sent7: if that the muesli is not a cloak is not false then it is chirpy and it is incompetent. sent8: the caravansary is not a peace if something that is a anaplasty is amitotic. sent9: if the muesli is chirpy the haunt is not amitotic. sent10: something does indurate Basque and is a serval. sent11: the simnel is a shogi if the Javanthropus is a shogi. sent12: the fact that the gynostegium is not archaeological but corinthian is not true if it is breastless. sent13: the Javanthropus is a shogi if the gynostegium is not a peace but it is a anaplasty. sent14: something is amitotic. sent15: the muesli is not a cloak. sent16: the interviewee does indurate turn-on.
sent5 & sent8 -> int1: the caravansary is not a peace.;
the simnel is a kind of a shogi.
sent7 & sent15 -> int2: the muesli is chirpy and it is an incompetent.; int2 -> int3: the muesli is chirpy.; sent9 & int3 -> int4: the haunt is not amitotic.; int4 -> int5: something is not amitotic.; int5 & sent3 -> int6: the fact that the gynostegium is not a peace is correct.; sent6 -> int7: the gynostegium is a anaplasty if that it is a kind of non-archaeological thing that is corinthian is incorrect.; sent16 -> int8: there exists something such that it does indurate turn-on.;
$hypothesis$ = the simnel is not a shogi. ; $context$ = sent1: there is something such that it is a kind of a anaplasty. sent2: the simnel is not a kind of a shogi if that the caravansary touts Pomacanthus and does tout chaplaincy is not true. sent3: the gynostegium is not a peace if there exists something such that it is not amitotic. sent4: the simnel is not a shogi if that the caravansary touts chaplaincy is wrong. sent5: there exists something such that it is a anaplasty and is amitotic. sent6: something is a kind of a anaplasty if the fact that it is not archaeological and it is corinthian does not hold. sent7: if that the muesli is not a cloak is not false then it is chirpy and it is incompetent. sent8: the caravansary is not a peace if something that is a anaplasty is amitotic. sent9: if the muesli is chirpy the haunt is not amitotic. sent10: something does indurate Basque and is a serval. sent11: the simnel is a shogi if the Javanthropus is a shogi. sent12: the fact that the gynostegium is not archaeological but corinthian is not true if it is breastless. sent13: the Javanthropus is a shogi if the gynostegium is not a peace but it is a anaplasty. sent14: something is amitotic. sent15: the muesli is not a cloak. sent16: the interviewee does indurate turn-on. ; $proof$ = 
sent5 & sent8 -> int1: the caravansary is not a peace.; __UNKNOWN__