the helicopter is not a subclass but it is irreconcilable.
sent1: if the raver is not a mono-iodotyrosine then the sateen is a kind of a Zeeman. sent2: if something is not anterior the raver either is not a kind of a mono-iodotyrosine or is not a kind of a Cushitic or both. sent3: the oyabun is not a Cushitic and does gall beneficed. sent4: the sateen is not a subclass. sent5: the raver is not a Zeeman if the sateen is a dovekie but it is not indeterminable. sent6: if the sateen is a subclass then it is not a dovekie. sent7: the helicopter is not a mono-iodotyrosine. sent8: if the raver is not a kind of a Cushitic the sateen is a kind of a Zeeman. sent9: if the oyabun is not a subclass the helicopter is not a subclass but it is irreconcilable. sent10: that something is not a subclass but it is irreconcilable does not hold if it is not an anterior. sent11: the oyabun is not a subclass if there is something such that it is not a dovekie. sent12: something that either is a Zeeman or is indeterminable or both is not a kind of a dovekie. sent13: the helicopter is a kind of a Cushitic if the raver is not a subclass. sent14: if something is not a mono-iodotyrosine but it is a Cushitic then it is not anterior.
sent12 -> int1: the sateen is not a dovekie if either it is a kind of a Zeeman or it is indeterminable or both.;
that the helicopter is not a kind of a subclass and is irreconcilable does not hold.
sent10 -> int2: the fact that the helicopter is not a subclass but it is irreconcilable is not correct if it is not an anterior.; sent14 -> int3: if the helicopter is not a mono-iodotyrosine but it is a Cushitic the fact that it is non-anterior is right.;
$hypothesis$ = the helicopter is not a subclass but it is irreconcilable. ; $context$ = sent1: if the raver is not a mono-iodotyrosine then the sateen is a kind of a Zeeman. sent2: if something is not anterior the raver either is not a kind of a mono-iodotyrosine or is not a kind of a Cushitic or both. sent3: the oyabun is not a Cushitic and does gall beneficed. sent4: the sateen is not a subclass. sent5: the raver is not a Zeeman if the sateen is a dovekie but it is not indeterminable. sent6: if the sateen is a subclass then it is not a dovekie. sent7: the helicopter is not a mono-iodotyrosine. sent8: if the raver is not a kind of a Cushitic the sateen is a kind of a Zeeman. sent9: if the oyabun is not a subclass the helicopter is not a subclass but it is irreconcilable. sent10: that something is not a subclass but it is irreconcilable does not hold if it is not an anterior. sent11: the oyabun is not a subclass if there is something such that it is not a dovekie. sent12: something that either is a Zeeman or is indeterminable or both is not a kind of a dovekie. sent13: the helicopter is a kind of a Cushitic if the raver is not a subclass. sent14: if something is not a mono-iodotyrosine but it is a Cushitic then it is not anterior. ; $proof$ = 
sent12 -> int1: the sateen is not a dovekie if either it is a kind of a Zeeman or it is indeterminable or both.; __UNKNOWN__