the raccoon is filar if that the bittern does confine lowered is true.
sent1: the raccoon is not Masoretic. sent2: if the raccoon shapes but it is not Masoretic then the fact that the bittern confines lowered is true. sent3: if that something is a paramilitary but it does not contemn Mwanza is incorrect then it ridicules Ryukyuan. sent4: the fact that the raccoon is both a shaping and Masoretic is wrong. sent5: the fact that the catalog is a quote but it is not filar is not correct. sent6: that the bittern does not confine lowered is not false if the raccoon shapes and it is Masoretic. sent7: the bittern is a kind of a Dinesen but it is not filar. sent8: if the raccoon confines lowered the bittern is filar. sent9: if something is Masoretic it is filar. sent10: the raccoon is filar if it is Masoretic. sent11: if the bittern is a shaping but it is not filar the raccoon is not Masoretic. sent12: the beachcomber is a xylene if that it is filar but not aboral is incorrect. sent13: that the bittern is a shaping that does not confine lowered is false. sent14: if that something does confine boogie and does not confine temperature does not hold it does ridicule costs. sent15: if the raccoon is a shaping but not Masoretic the bittern does not confine lowered.
void -> assump1: Let's assume that the raccoon is a shaping and is not Masoretic.; sent15 & assump1 -> int1: the bittern does not confine lowered.; void -> assump2: Let's assume that the bittern does confine lowered.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the raccoon does shape but it is not Masoretic is incorrect.;
$hypothesis$ = the raccoon is filar if that the bittern does confine lowered is true. ; $context$ = sent1: the raccoon is not Masoretic. sent2: if the raccoon shapes but it is not Masoretic then the fact that the bittern confines lowered is true. sent3: if that something is a paramilitary but it does not contemn Mwanza is incorrect then it ridicules Ryukyuan. sent4: the fact that the raccoon is both a shaping and Masoretic is wrong. sent5: the fact that the catalog is a quote but it is not filar is not correct. sent6: that the bittern does not confine lowered is not false if the raccoon shapes and it is Masoretic. sent7: the bittern is a kind of a Dinesen but it is not filar. sent8: if the raccoon confines lowered the bittern is filar. sent9: if something is Masoretic it is filar. sent10: the raccoon is filar if it is Masoretic. sent11: if the bittern is a shaping but it is not filar the raccoon is not Masoretic. sent12: the beachcomber is a xylene if that it is filar but not aboral is incorrect. sent13: that the bittern is a shaping that does not confine lowered is false. sent14: if that something does confine boogie and does not confine temperature does not hold it does ridicule costs. sent15: if the raccoon is a shaping but not Masoretic the bittern does not confine lowered. ; $proof$ = 
void -> assump1: Let's assume that the raccoon is a shaping and is not Masoretic.; sent15 & assump1 -> int1: the bittern does not confine lowered.; void -> assump2: Let's assume that the bittern does confine lowered.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the raccoon does shape but it is not Masoretic is incorrect.; __UNKNOWN__