the fact that the tracery is a Anouilh but it does not tamp shekel is not right.
sent1: the corticosterone does not fear Perseus if the latanier is a sophisticate and is not nonreticulate. sent2: something is nonreticulate if it does clinch. sent3: if the doxepin is nonreticulate the latanier is a kind of a sophisticate but it is not nonreticulate. sent4: the Canuck is both a Shakespearian and a jingoism. sent5: that that the tracery is a kind of a Anouilh and does not tamp shekel hold is not correct if the corticosterone does not fear Perseus. sent6: if the Canuck is a Shakespearian then the doxepin clinches. sent7: there exists something such that the fact that it is not a sophisticate but nonreticulate does not hold.
sent4 -> int1: the Canuck is a Shakespearian.; int1 & sent6 -> int2: the doxepin is a kind of a clinch.; sent2 -> int3: if the doxepin is a kind of a clinch then that it is nonreticulate is correct.; int2 & int3 -> int4: the doxepin is nonreticulate.; int4 & sent3 -> int5: the latanier is a sophisticate but it is not nonreticulate.; int5 & sent1 -> int6: the corticosterone does not fear Perseus.; int6 & sent5 -> hypothesis;
the tracery is a Anouilh but it does not tamp shekel.
$hypothesis$ = the fact that the tracery is a Anouilh but it does not tamp shekel is not right. ; $context$ = sent1: the corticosterone does not fear Perseus if the latanier is a sophisticate and is not nonreticulate. sent2: something is nonreticulate if it does clinch. sent3: if the doxepin is nonreticulate the latanier is a kind of a sophisticate but it is not nonreticulate. sent4: the Canuck is both a Shakespearian and a jingoism. sent5: that that the tracery is a kind of a Anouilh and does not tamp shekel hold is not correct if the corticosterone does not fear Perseus. sent6: if the Canuck is a Shakespearian then the doxepin clinches. sent7: there exists something such that the fact that it is not a sophisticate but nonreticulate does not hold. ; $proof$ = 
sent4 -> int1: the Canuck is a Shakespearian.; int1 & sent6 -> int2: the doxepin is a kind of a clinch.; sent2 -> int3: if the doxepin is a kind of a clinch then that it is nonreticulate is correct.; int2 & int3 -> int4: the doxepin is nonreticulate.; int4 & sent3 -> int5: the latanier is a sophisticate but it is not nonreticulate.; int5 & sent1 -> int6: the corticosterone does not fear Perseus.; int6 & sent5 -> hypothesis; __PROVED__