the cornetfish does not luxuriate blockhouse if the cross is nonarbitrable.
sent1: the blockhouse is indistinct and it is a photocoagulation. sent2: the cross is indistinct. sent3: the cross is not refractive. sent4: if the cross is indistinct then the blockhouse is nonarbitrable. sent5: if something is not refractive the fact that it is non-bibliothecal thing that luxuriates blockhouse is not true. sent6: the cross is not nonarbitrable if the cornetfish is a kind of a photocoagulation and it luxuriates blockhouse. sent7: the blockhouse is indistinct. sent8: the cornetfish luxuriates blockhouse if the cross is nonarbitrable. sent9: something that is not a photocoagulation either is not indistinct or is not a surgeonfish or both. sent10: the blockhouse is indistinct and is a surgeonfish. sent11: the blockhouse is nonarbitrable. sent12: the cross is nonarbitrable if the cornetfish is a photocoagulation and it luxuriates blockhouse.
void -> assump1: Let's assume that the fact that the cross is nonarbitrable hold.; sent10 -> int1: that the blockhouse is a surgeonfish is right.;
the cornetfish is nonarbitrable.
sent9 -> int2: if the blockhouse is not a kind of a photocoagulation then that it is not indistinct and/or is not a surgeonfish is not wrong.; sent5 -> int3: the fact that the cross is not bibliothecal and luxuriates blockhouse is not right if it is not refractive.; int3 & sent3 -> int4: that the cross is not bibliothecal but it luxuriates blockhouse is wrong.; int4 -> int5: there exists something such that the fact that it is non-bibliothecal thing that does luxuriate blockhouse does not hold.;
$hypothesis$ = the cornetfish does not luxuriate blockhouse if the cross is nonarbitrable. ; $context$ = sent1: the blockhouse is indistinct and it is a photocoagulation. sent2: the cross is indistinct. sent3: the cross is not refractive. sent4: if the cross is indistinct then the blockhouse is nonarbitrable. sent5: if something is not refractive the fact that it is non-bibliothecal thing that luxuriates blockhouse is not true. sent6: the cross is not nonarbitrable if the cornetfish is a kind of a photocoagulation and it luxuriates blockhouse. sent7: the blockhouse is indistinct. sent8: the cornetfish luxuriates blockhouse if the cross is nonarbitrable. sent9: something that is not a photocoagulation either is not indistinct or is not a surgeonfish or both. sent10: the blockhouse is indistinct and is a surgeonfish. sent11: the blockhouse is nonarbitrable. sent12: the cross is nonarbitrable if the cornetfish is a photocoagulation and it luxuriates blockhouse. ; $proof$ = 
void -> assump1: Let's assume that the fact that the cross is nonarbitrable hold.; sent10 -> int1: that the blockhouse is a surgeonfish is right.; __UNKNOWN__