the corset is not a sixteenth.
sent1: if something is cochlear it is not a sixteenth and is not a antipyretic. sent2: everything is a kind of a bacteriology and it is not a frame. sent3: if something is a kind of a continent and is a midstream the seaport is a kind of a friar. sent4: the dace is not popular. sent5: the corset is a kind of a sixteenth if the seaport is not joyful and it is not a kind of a sixteenth. sent6: something is off-street and it is cochlear if that it does not scant hold. sent7: the fact that the eusporangium is not a kind of a boat and is not a kind of a zing is false if the dace is not popular. sent8: if something that is a kind of a narcoleptic is a kind of a friar then it does not scant. sent9: the seaport is a narcoleptic if the eusporangium is a zing. sent10: something either does not gutter Orinoco or is not joyful or both if the fact that it tastes selsyn is not wrong. sent11: something is a kind of continent a midstream. sent12: if the fact that the eusporangium is not a boat and it is not a kind of a zing is not correct then it is a zing. sent13: if something is joyful and/or it is antipyretic it is not a sixteenth. sent14: if something does not gutter Orinoco and/or it is not joyful it is not joyful.
void -> assump1: Let's assume that the corset is not joyful.; sent2 -> int1: the seaport is a bacteriology but it is not a frame.; sent13 -> int2: the corset is not a sixteenth if it is joyful and/or it is a antipyretic.;
the corset is a kind of a sixteenth.
sent6 -> int3: the seaport is off-street and it is cochlear if it does not scant.; sent3 & sent11 -> int4: the seaport is a friar.; sent7 & sent4 -> int5: that the fact that the eusporangium does not boat and it is not a kind of a zing does not hold hold.; sent12 & int5 -> int6: the eusporangium is a zing.; sent9 & int6 -> int7: the seaport is narcoleptic.; int4 & int7 -> int8: the seaport is a narcoleptic and it is a friar.; sent8 -> int9: the seaport does not scant if it is a kind of narcoleptic thing that is a friar.; int8 & int9 -> int10: the seaport does not scant.; int3 & int10 -> int11: the seaport is off-street and it is cochlear.; int11 -> int12: the seaport is cochlear.; sent1 -> int13: if the seaport is cochlear then it is both not a sixteenth and not antipyretic.; int12 & int13 -> int14: the seaport is not a sixteenth and not a antipyretic.; int14 -> int15: the seaport is not a kind of a sixteenth.; sent14 -> int16: if either the cheeseboard does not gutter Orinoco or it is not joyful or both then it is not joyful.; sent10 -> int17: the Turkmen does not gutter Orinoco and/or it is not joyful if it does taste selsyn.;
$hypothesis$ = the corset is not a sixteenth. ; $context$ = sent1: if something is cochlear it is not a sixteenth and is not a antipyretic. sent2: everything is a kind of a bacteriology and it is not a frame. sent3: if something is a kind of a continent and is a midstream the seaport is a kind of a friar. sent4: the dace is not popular. sent5: the corset is a kind of a sixteenth if the seaport is not joyful and it is not a kind of a sixteenth. sent6: something is off-street and it is cochlear if that it does not scant hold. sent7: the fact that the eusporangium is not a kind of a boat and is not a kind of a zing is false if the dace is not popular. sent8: if something that is a kind of a narcoleptic is a kind of a friar then it does not scant. sent9: the seaport is a narcoleptic if the eusporangium is a zing. sent10: something either does not gutter Orinoco or is not joyful or both if the fact that it tastes selsyn is not wrong. sent11: something is a kind of continent a midstream. sent12: if the fact that the eusporangium is not a boat and it is not a kind of a zing is not correct then it is a zing. sent13: if something is joyful and/or it is antipyretic it is not a sixteenth. sent14: if something does not gutter Orinoco and/or it is not joyful it is not joyful. ; $proof$ = 
void -> assump1: Let's assume that the corset is not joyful.; sent2 -> int1: the seaport is a bacteriology but it is not a frame.; sent13 -> int2: the corset is not a sixteenth if it is joyful and/or it is a antipyretic.; __UNKNOWN__