that the riptide is mucinous but it does not immortalize raw does not hold.
sent1: that the terrarium is calcitic and it does pant-hoot is false. sent2: the traverser is not mucinous. sent3: if the trimaran does immortalize raw the riptide does not immortalize raw. sent4: something is non-cryptobiotic. sent5: the trimaran is not nonfat if a non-cryptobiotic thing is a trireme. sent6: if something that immortalizes raw is nonfat then the trimaran is not mucinous. sent7: there exists nothing that is not a fling and deduces Othello. sent8: if the fact that something is a kind of an insomniac that does not checkmate Plectophera does not hold it is not four-wheel. sent9: if the partygoer is not non-melodic it immortalizes Kishar. sent10: the fact that the riptide immortalizes raw and it is a trireme is incorrect. sent11: if the trimaran is not nonfat then that that the riptide is mucinous but it does not immortalize raw is not correct hold. sent12: if the partygoer does immortalize Kishar then the half-mast is a kind of a Dublin. sent13: if the half-mast is a Dublin then that the yanker is an insomniac but it does not checkmate Plectophera is not correct. sent14: if the trimaran is not nonfat then that the riptide is mucinous thing that does immortalize raw is wrong. sent15: the trimaran is not nonfat if there is something such that it is not non-cryptobiotic and it is a trireme. sent16: something is not nonhuman and is a volution. sent17: the partygoer is not non-melodic. sent18: the fact that the Oxonian is not cryptobiotic but a trireme hold.
sent18 -> int1: there is something such that it is non-cryptobiotic and it is a trireme.; int1 & sent5 -> int2: the trimaran is not nonfat.; sent11 & int2 -> hypothesis;
the riptide is a kind of mucinous thing that does not immortalize raw.
sent7 -> int3: the fact that that the llano is not a fling and does deduce Othello is false is not wrong.; int3 -> int4: there is something such that the fact that it is not a kind of a fling and it deduces Othello is false.; sent8 -> int5: if the fact that that the yanker is an insomniac that does not checkmate Plectophera is wrong is correct it is not four-wheel.; sent9 & sent17 -> int6: the partygoer does immortalize Kishar.; sent12 & int6 -> int7: the half-mast is a Dublin.; sent13 & int7 -> int8: that the yanker is a kind of an insomniac but it does not checkmate Plectophera is not correct.; int5 & int8 -> int9: the fact that the yanker is not four-wheel is right.; int9 -> int10: there exists something such that it is not four-wheel.;
$hypothesis$ = that the riptide is mucinous but it does not immortalize raw does not hold. ; $context$ = sent1: that the terrarium is calcitic and it does pant-hoot is false. sent2: the traverser is not mucinous. sent3: if the trimaran does immortalize raw the riptide does not immortalize raw. sent4: something is non-cryptobiotic. sent5: the trimaran is not nonfat if a non-cryptobiotic thing is a trireme. sent6: if something that immortalizes raw is nonfat then the trimaran is not mucinous. sent7: there exists nothing that is not a fling and deduces Othello. sent8: if the fact that something is a kind of an insomniac that does not checkmate Plectophera does not hold it is not four-wheel. sent9: if the partygoer is not non-melodic it immortalizes Kishar. sent10: the fact that the riptide immortalizes raw and it is a trireme is incorrect. sent11: if the trimaran is not nonfat then that that the riptide is mucinous but it does not immortalize raw is not correct hold. sent12: if the partygoer does immortalize Kishar then the half-mast is a kind of a Dublin. sent13: if the half-mast is a Dublin then that the yanker is an insomniac but it does not checkmate Plectophera is not correct. sent14: if the trimaran is not nonfat then that the riptide is mucinous thing that does immortalize raw is wrong. sent15: the trimaran is not nonfat if there is something such that it is not non-cryptobiotic and it is a trireme. sent16: something is not nonhuman and is a volution. sent17: the partygoer is not non-melodic. sent18: the fact that the Oxonian is not cryptobiotic but a trireme hold. ; $proof$ = 
sent18 -> int1: there is something such that it is non-cryptobiotic and it is a trireme.; int1 & sent5 -> int2: the trimaran is not nonfat.; sent11 & int2 -> hypothesis; __PROVED__