that the oceanfront is a lucubration or not a rhinotomy or both does not hold.
sent1: if something does not confuse vein it is not a kind of a competence and/or it is accessible. sent2: if something fronts Kyyiv then it is disreputable. sent3: if something is not involuntary it does not confuse vein. sent4: that something is not a kind of a lucubration and/or it does confuse vein is not correct if it is not involuntary. sent5: if something does not confuse sicklepod then that it is not a rhinotomy is not true. sent6: if the oceanfront is accessible then the vein is a competence. sent7: the oceanfront is a rhinotomy. sent8: that the vein is a competence does not hold. sent9: if something is not a rhinotomy then the fact that it is accessible thing that is not a kind of a competence does not hold. sent10: that either the sicklepod does front Strand or it does not confuse sicklepod or both is not right. sent11: the oceanfront is a rhinotomy if it does not confuse sicklepod. sent12: the fact that something is a lucubration or is not a rhinotomy or both is not correct if it does not confuse sicklepod. sent13: if there is something such that the fact that it is accessible and it is not a competence is incorrect then the snow-on-the-mountain does not confuse sicklepod. sent14: if either something is not a competence or it is accessible or both then it confuses sicklepod.
void -> assump1: Let's assume that the oceanfront does confuse sicklepod.; sent12 -> int1: that the oceanfront is a lucubration and/or it is not a rhinotomy is incorrect if it does not confuse sicklepod.;
the snow-on-the-mountain does not confuse sicklepod.
sent9 -> int2: if the vein is not a rhinotomy then that it is both accessible and not a competence is false.; sent4 -> int3: if the Strand is not involuntary the fact that it is not a lucubration or it does confuse vein or both is not right.;
$hypothesis$ = that the oceanfront is a lucubration or not a rhinotomy or both does not hold. ; $context$ = sent1: if something does not confuse vein it is not a kind of a competence and/or it is accessible. sent2: if something fronts Kyyiv then it is disreputable. sent3: if something is not involuntary it does not confuse vein. sent4: that something is not a kind of a lucubration and/or it does confuse vein is not correct if it is not involuntary. sent5: if something does not confuse sicklepod then that it is not a rhinotomy is not true. sent6: if the oceanfront is accessible then the vein is a competence. sent7: the oceanfront is a rhinotomy. sent8: that the vein is a competence does not hold. sent9: if something is not a rhinotomy then the fact that it is accessible thing that is not a kind of a competence does not hold. sent10: that either the sicklepod does front Strand or it does not confuse sicklepod or both is not right. sent11: the oceanfront is a rhinotomy if it does not confuse sicklepod. sent12: the fact that something is a lucubration or is not a rhinotomy or both is not correct if it does not confuse sicklepod. sent13: if there is something such that the fact that it is accessible and it is not a competence is incorrect then the snow-on-the-mountain does not confuse sicklepod. sent14: if either something is not a competence or it is accessible or both then it confuses sicklepod. ; $proof$ = 
void -> assump1: Let's assume that the oceanfront does confuse sicklepod.; sent12 -> int1: that the oceanfront is a lucubration and/or it is not a rhinotomy is incorrect if it does not confuse sicklepod.; __UNKNOWN__