the dura mismarries and/or is inaccessible.
sent1: the T-junction does steady if that it is not Eurocentric and/or it is a RF is false. sent2: the East-sider steadies. sent3: the East-sider assimilates. sent4: the Japanese is a RF. sent5: the fact that the dura does mismarry or it is inaccessible or both is not correct if the fact that the Japanese does not assimilate is true. sent6: the tuck is a footstool. sent7: if the tuck is a kind of a footstool then that the T-junction is non-Eurocentric and/or it is a RF is not correct. sent8: the T-junction does mystify stingaree-bush if the East-sider does piddle rioting. sent9: the Japanese does assimilate. sent10: if something assimilates then it is inaccessible. sent11: if the dura does not assimilate then that the Japanese does outstare prednisone and is not chlorophyllose is incorrect. sent12: the East-sider does piddle rioting if the fact that the fact that the Japanese outstares prednisone but it is not chlorophyllose does not hold is right.
void -> assump1: Let's assume that that the dura does not assimilate is not incorrect.; sent11 & assump1 -> int1: that the Japanese outstares prednisone and is not chlorophyllose is wrong.; int1 & sent12 -> int2: the East-sider does piddle rioting.; sent7 & sent6 -> int3: the fact that that the T-junction is not Eurocentric and/or it is a kind of a RF hold is wrong.; sent1 & int3 -> int4: the T-junction does steady.; sent10 -> int5: if the dura does assimilate it is inaccessible.;
the fact that the dura does mismarry and/or it is inaccessible is not correct.
$hypothesis$ = the dura mismarries and/or is inaccessible. ; $context$ = sent1: the T-junction does steady if that it is not Eurocentric and/or it is a RF is false. sent2: the East-sider steadies. sent3: the East-sider assimilates. sent4: the Japanese is a RF. sent5: the fact that the dura does mismarry or it is inaccessible or both is not correct if the fact that the Japanese does not assimilate is true. sent6: the tuck is a footstool. sent7: if the tuck is a kind of a footstool then that the T-junction is non-Eurocentric and/or it is a RF is not correct. sent8: the T-junction does mystify stingaree-bush if the East-sider does piddle rioting. sent9: the Japanese does assimilate. sent10: if something assimilates then it is inaccessible. sent11: if the dura does not assimilate then that the Japanese does outstare prednisone and is not chlorophyllose is incorrect. sent12: the East-sider does piddle rioting if the fact that the fact that the Japanese outstares prednisone but it is not chlorophyllose does not hold is right. ; $proof$ = 
void -> assump1: Let's assume that that the dura does not assimilate is not incorrect.; sent11 & assump1 -> int1: that the Japanese outstares prednisone and is not chlorophyllose is wrong.; int1 & sent12 -> int2: the East-sider does piddle rioting.; sent7 & sent6 -> int3: the fact that that the T-junction is not Eurocentric and/or it is a kind of a RF hold is wrong.; sent1 & int3 -> int4: the T-junction does steady.; sent10 -> int5: if the dura does assimilate it is inaccessible.; __UNKNOWN__