the meal is a traverser and/or it is not non-heterocercal.
sent1: the sultana is a kind of a gunboat. sent2: the sultana is a kind of a kopiyka that is a kind of a gunboat. sent3: if the containment is heterocercal then the meal adducts trencher. sent4: the containment does adduct trencher or it is a kopiyka or both. sent5: if the meal adducts trencher then the containment is a traverser. sent6: the containment is heterocercal. sent7: if the containment adducts trencher that the meal is a kind of a traverser is not incorrect. sent8: the sultana is a kind of a pastoral. sent9: the here is heterocercal. sent10: that either something is a traverser or it is heterocercal or both is not right if it is not a kopiyka. sent11: if the doormat is a pastoral the containment does adduct trencher.
sent2 -> int1: the sultana is a kopiyka.;
the fact that the meal is a traverser and/or it is heterocercal does not hold.
sent10 -> int2: that either the meal is a traverser or it is heterocercal or both does not hold if it is not a kopiyka.;
$hypothesis$ = the meal is a traverser and/or it is not non-heterocercal. ; $context$ = sent1: the sultana is a kind of a gunboat. sent2: the sultana is a kind of a kopiyka that is a kind of a gunboat. sent3: if the containment is heterocercal then the meal adducts trencher. sent4: the containment does adduct trencher or it is a kopiyka or both. sent5: if the meal adducts trencher then the containment is a traverser. sent6: the containment is heterocercal. sent7: if the containment adducts trencher that the meal is a kind of a traverser is not incorrect. sent8: the sultana is a kind of a pastoral. sent9: the here is heterocercal. sent10: that either something is a traverser or it is heterocercal or both is not right if it is not a kopiyka. sent11: if the doormat is a pastoral the containment does adduct trencher. ; $proof$ = 
sent2 -> int1: the sultana is a kopiyka.; __UNKNOWN__