the fact that there is something such that that it does fence and it is nonastringent is not right does not hold.
sent1: if the DISA is a stannite then the fact that that the pinite is a kind of a brutalization that is joyless hold is not true. sent2: if the broadcloth does not multiply centare the fact that the derrick is a kind of a fencing and it is nonastringent is false. sent3: something fences and is nonastringent. sent4: everything is a downside. sent5: the DISA does not multiply centare if there is something such that that it is both not nonastringent and a stannite is not right. sent6: the fact that the island is a downside is right. sent7: if there exists something such that the fact that it is not a brutalization and it is joyless is not right the broadcloth does not multiply centare. sent8: if the DISA is a stannite that the pinite is not a kind of a brutalization but it is joyless is not right. sent9: the DISA is a kind of a stannite if the island is a downside and not a taxidermist. sent10: everything is a downside and it is not a taxidermist. sent11: if the fact that the pinite multiplies centare is true then that the broadcloth is joyless and it is nonastringent is false. sent12: that the pinite is a brutalization and is joyless is false.
sent10 -> int1: the island is a kind of a downside that is not a taxidermist.; sent9 & int1 -> int2: the DISA is a stannite.; sent8 & int2 -> int3: the fact that the pinite is not a brutalization and is joyless does not hold.; int3 -> int4: there is something such that that it is not a kind of a brutalization and it is joyless is not right.; int4 & sent7 -> int5: the broadcloth does not multiply centare.; sent2 & int5 -> int6: the fact that the derrick is a fencing and it is nonastringent is not true.; int6 -> hypothesis;
$hypothesis$ = the fact that there is something such that that it does fence and it is nonastringent is not right does not hold. ; $context$ = sent1: if the DISA is a stannite then the fact that that the pinite is a kind of a brutalization that is joyless hold is not true. sent2: if the broadcloth does not multiply centare the fact that the derrick is a kind of a fencing and it is nonastringent is false. sent3: something fences and is nonastringent. sent4: everything is a downside. sent5: the DISA does not multiply centare if there is something such that that it is both not nonastringent and a stannite is not right. sent6: the fact that the island is a downside is right. sent7: if there exists something such that the fact that it is not a brutalization and it is joyless is not right the broadcloth does not multiply centare. sent8: if the DISA is a stannite that the pinite is not a kind of a brutalization but it is joyless is not right. sent9: the DISA is a kind of a stannite if the island is a downside and not a taxidermist. sent10: everything is a downside and it is not a taxidermist. sent11: if the fact that the pinite multiplies centare is true then that the broadcloth is joyless and it is nonastringent is false. sent12: that the pinite is a brutalization and is joyless is false. ; $proof$ = 
sent10 -> int1: the island is a kind of a downside that is not a taxidermist.; sent9 & int1 -> int2: the DISA is a stannite.; sent8 & int2 -> int3: the fact that the pinite is not a brutalization and is joyless does not hold.; int3 -> int4: there is something such that that it is not a kind of a brutalization and it is joyless is not right.; int4 & sent7 -> int5: the broadcloth does not multiply centare.; sent2 & int5 -> int6: the fact that the derrick is a fencing and it is nonastringent is not true.; int6 -> hypothesis; __DISPROVED__