the sea-rocket is an ethane.
sent1: the sea-rocket is a kind of a workflow or it is not mesolithic or both if the submitter does not fall Wakashan. sent2: the submitter is not a logic. sent3: the binnacle does not redecorate ring. sent4: if the binnacle is not a Antony that the submitter is not inboard and it is not cartographic is wrong. sent5: the submitter is a workflow and it is mesolithic. sent6: the submitter does not fall Wakashan. sent7: if that something is not inboard and it is not cartographic is not right it does not fall Wakashan. sent8: that the fingerstall is not a lyceum and it is not filar is not right. sent9: if the fact that the binnacle is an ethane is incorrect then it does fall Wakashan. sent10: the squill redecorates impact if it does not fall Wakashan. sent11: the binnacle is not a kind of a Antony if there exists something such that the fact that it dins and is a Antony does not hold. sent12: the sea-rocket does tincture Villon if it is not a workflow. sent13: that if the fact that the submitter falls Wakashan is not incorrect the binnacle is not mesolithic hold. sent14: the submitter tinctures history. sent15: the sea-rocket is not inboard if the binnacle does not fall Wakashan. sent16: if there is something such that that the fact that it is both not a lyceum and not filar is not wrong is not true the stylopodium does not tincture sprout. sent17: if something is a kind of a workflow it is not a kind of an ethane. sent18: the binnacle does not fall Wakashan if the submitter is a workflow. sent19: the fact that that something does din and it is a Antony hold is wrong if it does not tincture sprout. sent20: the hovercraft does tincture Cline and it is hooflike.
sent5 -> int1: the submitter is a kind of a workflow.; int1 & sent18 -> int2: the binnacle does not fall Wakashan.; int2 & sent15 -> int3: the sea-rocket is not inboard.;
the sea-rocket is not an ethane.
sent7 -> int4: if that the submitter is non-inboard thing that is not cartographic is false then it does not fall Wakashan.; sent19 -> int5: that that the stylopodium dins and is a kind of the Antony is not right if that the stylopodium does not tincture sprout is true is true.; sent8 -> int6: there exists something such that the fact that it is not a lyceum and it is not filar is not right.; int6 & sent16 -> int7: the stylopodium does not tincture sprout.; int5 & int7 -> int8: the fact that the stylopodium dins and is a Antony is not correct.; int8 -> int9: there exists something such that that it does din and is a Antony is false.; int9 & sent11 -> int10: the binnacle is not a Antony.; sent4 & int10 -> int11: that the submitter is a kind of outboard thing that is not cartographic does not hold.; int4 & int11 -> int12: the submitter does not fall Wakashan.; sent1 & int12 -> int13: the sea-rocket is a workflow and/or it is not mesolithic.; sent17 -> int14: if the sea-rocket is a workflow then it is not an ethane.;
$hypothesis$ = the sea-rocket is an ethane. ; $context$ = sent1: the sea-rocket is a kind of a workflow or it is not mesolithic or both if the submitter does not fall Wakashan. sent2: the submitter is not a logic. sent3: the binnacle does not redecorate ring. sent4: if the binnacle is not a Antony that the submitter is not inboard and it is not cartographic is wrong. sent5: the submitter is a workflow and it is mesolithic. sent6: the submitter does not fall Wakashan. sent7: if that something is not inboard and it is not cartographic is not right it does not fall Wakashan. sent8: that the fingerstall is not a lyceum and it is not filar is not right. sent9: if the fact that the binnacle is an ethane is incorrect then it does fall Wakashan. sent10: the squill redecorates impact if it does not fall Wakashan. sent11: the binnacle is not a kind of a Antony if there exists something such that the fact that it dins and is a Antony does not hold. sent12: the sea-rocket does tincture Villon if it is not a workflow. sent13: that if the fact that the submitter falls Wakashan is not incorrect the binnacle is not mesolithic hold. sent14: the submitter tinctures history. sent15: the sea-rocket is not inboard if the binnacle does not fall Wakashan. sent16: if there is something such that that the fact that it is both not a lyceum and not filar is not wrong is not true the stylopodium does not tincture sprout. sent17: if something is a kind of a workflow it is not a kind of an ethane. sent18: the binnacle does not fall Wakashan if the submitter is a workflow. sent19: the fact that that something does din and it is a Antony hold is wrong if it does not tincture sprout. sent20: the hovercraft does tincture Cline and it is hooflike. ; $proof$ = 
sent5 -> int1: the submitter is a kind of a workflow.; int1 & sent18 -> int2: the binnacle does not fall Wakashan.; int2 & sent15 -> int3: the sea-rocket is not inboard.; __UNKNOWN__