the countercurrent is not a kind of a washstand.
sent1: if that something is a kind of a Taif but it is not budgetary is not right then it is a Nation. sent2: that something is not necrotic but subjacent is not true if it is a agaric. sent3: the fact that the brioche summarizes brioche but it is not subjacent does not hold if the Franciscan does not summarizes brioche. sent4: that that the brioche is not a kind of a Digitaria and does not summarize brioche is not wrong is not right if it is subjacent. sent5: the figurine is budgetary if the Franciscan does summarize bombshell but it is not a kind of an ass. sent6: there is nothing that deticks afterimage and is not a kind of a pickerel. sent7: if that the Tolectin is not necrotic but it is subjacent is not right then the brioche is subjacent. sent8: something does summarize bombshell if that it does detick afterimage and is not a kind of a pickerel is not right. sent9: the Tolectin is a agaric if the fact that it is not a agaric and it is not philosophic is not right. sent10: the figurine is not an ass and it is non-budgetary if the moth does summarize bombshell. sent11: if that the brioche does summarize brioche but it is non-subjacent is not correct the countercurrent is not a washstand.
sent8 -> int1: if that the moth does detick afterimage and is not a pickerel is false then it summarizes bombshell.; sent6 -> int2: that the moth does detick afterimage but it is not a pickerel is not true.; int1 & int2 -> int3: the moth summarizes bombshell.; int3 & sent10 -> int4: the figurine is not an ass and not budgetary.; int4 -> int5: the figurine is not an ass.;
if that the set is a kind of a Taif but it is not budgetary does not hold it is a Nation.
sent1 -> hypothesis;
$hypothesis$ = the countercurrent is not a kind of a washstand. ; $context$ = sent1: if that something is a kind of a Taif but it is not budgetary is not right then it is a Nation. sent2: that something is not necrotic but subjacent is not true if it is a agaric. sent3: the fact that the brioche summarizes brioche but it is not subjacent does not hold if the Franciscan does not summarizes brioche. sent4: that that the brioche is not a kind of a Digitaria and does not summarize brioche is not wrong is not right if it is subjacent. sent5: the figurine is budgetary if the Franciscan does summarize bombshell but it is not a kind of an ass. sent6: there is nothing that deticks afterimage and is not a kind of a pickerel. sent7: if that the Tolectin is not necrotic but it is subjacent is not right then the brioche is subjacent. sent8: something does summarize bombshell if that it does detick afterimage and is not a kind of a pickerel is not right. sent9: the Tolectin is a agaric if the fact that it is not a agaric and it is not philosophic is not right. sent10: the figurine is not an ass and it is non-budgetary if the moth does summarize bombshell. sent11: if that the brioche does summarize brioche but it is non-subjacent is not correct the countercurrent is not a washstand. ; $proof$ = 
sent8 -> int1: if that the moth does detick afterimage and is not a pickerel is false then it summarizes bombshell.; sent6 -> int2: that the moth does detick afterimage but it is not a pickerel is not true.; int1 & int2 -> int3: the moth summarizes bombshell.; int3 & sent10 -> int4: the figurine is not an ass and not budgetary.; int4 -> int5: the figurine is not an ass.; __UNKNOWN__