the sailfish is cross-sectional thing that is an undress.
sent1: if there exists something such that the fact that either it is not iliac or it is destructive or both does not hold the sailfish is not non-cross-sectional. sent2: the prechlorination is supraorbital. sent3: there is something such that that it is not iliac or it is destructive or both does not hold. sent4: the sailfish rivets and it does bum. sent5: the sailfish undresses if there is something such that that either it does not bum or it is cross-sectional or both is incorrect. sent6: something is not supraorbital but it does bum if it is not destructive. sent7: something is a kind of an undress if that it is cross-sectional and is not an undress does not hold. sent8: if the sailfish is destructive then the fact that the chat is a kind of cross-sectional thing that does not undress does not hold. sent9: the sailfish is a kind of an eyes. sent10: if there exists something such that that either it is iliac or it is destructive or both is not correct the sailfish is cross-sectional. sent11: something is iliac. sent12: the sailfish is a kind of supraorbital thing that does bum. sent13: the fact that the sailfish does bum hold. sent14: the sailfish is destructive if the scimitar is destructive. sent15: there is something such that it either is not iliac or is destructive or both.
sent12 -> int1: the fact that the sailfish is supraorbital hold.; void -> assump1: Let's assume that the sailfish is not a kind of an undress.; int1 & assump1 -> int2: the sailfish is supraorbital but it does not undress.; sent3 & sent1 -> int3: the sailfish is cross-sectional.;
the chat does bum.
sent7 -> int4: the chat is an undress if that it is cross-sectional and is not an undress is not right.;
$hypothesis$ = the sailfish is cross-sectional thing that is an undress. ; $context$ = sent1: if there exists something such that the fact that either it is not iliac or it is destructive or both does not hold the sailfish is not non-cross-sectional. sent2: the prechlorination is supraorbital. sent3: there is something such that that it is not iliac or it is destructive or both does not hold. sent4: the sailfish rivets and it does bum. sent5: the sailfish undresses if there is something such that that either it does not bum or it is cross-sectional or both is incorrect. sent6: something is not supraorbital but it does bum if it is not destructive. sent7: something is a kind of an undress if that it is cross-sectional and is not an undress does not hold. sent8: if the sailfish is destructive then the fact that the chat is a kind of cross-sectional thing that does not undress does not hold. sent9: the sailfish is a kind of an eyes. sent10: if there exists something such that that either it is iliac or it is destructive or both is not correct the sailfish is cross-sectional. sent11: something is iliac. sent12: the sailfish is a kind of supraorbital thing that does bum. sent13: the fact that the sailfish does bum hold. sent14: the sailfish is destructive if the scimitar is destructive. sent15: there is something such that it either is not iliac or is destructive or both. ; $proof$ = 
sent12 -> int1: the fact that the sailfish is supraorbital hold.; void -> assump1: Let's assume that the sailfish is not a kind of an undress.; int1 & assump1 -> int2: the sailfish is supraorbital but it does not undress.; sent3 & sent1 -> int3: the sailfish is cross-sectional.; __UNKNOWN__