the Burnside is a manifestation.
sent1: something is not a manifestation if it does not fruit and is not a riptide. sent2: something is not a fruit and not a riptide if that it is a narrow-mindedness is right. sent3: the Burnside is a kind of a narrow-mindedness that is uncomfortable if the Neopolitan is not an assistant. sent4: that either the Neopolitan does not traffic Neopolitan or it is not experimental or both is not correct. sent5: if the fact that the Neopolitan does not traffic Neopolitan and/or it is not experimental does not hold then the woman is not a kind of a riptide. sent6: the Neopolitan is not an assistant but gastrointestinal if it does redirect Burnside.
sent5 & sent4 -> int1: the woman is not a riptide.;
the Burnside is not a manifestation.
sent1 -> int2: if that the Burnside is not a fruit and not a riptide is right that it is a manifestation is not correct.; sent2 -> int3: the Burnside is not a fruit and is not a riptide if it is a narrow-mindedness.;
$hypothesis$ = the Burnside is a manifestation. ; $context$ = sent1: something is not a manifestation if it does not fruit and is not a riptide. sent2: something is not a fruit and not a riptide if that it is a narrow-mindedness is right. sent3: the Burnside is a kind of a narrow-mindedness that is uncomfortable if the Neopolitan is not an assistant. sent4: that either the Neopolitan does not traffic Neopolitan or it is not experimental or both is not correct. sent5: if the fact that the Neopolitan does not traffic Neopolitan and/or it is not experimental does not hold then the woman is not a kind of a riptide. sent6: the Neopolitan is not an assistant but gastrointestinal if it does redirect Burnside. ; $proof$ = 
sent5 & sent4 -> int1: the woman is not a riptide.; __UNKNOWN__