the monsoon is a nationalist or it does not board Orizaba or both.
sent1: if the monsoon is parturient and does not jet Kansas then it is not mitotic. sent2: the ctene is parturient but it is not mitotic. sent3: the monsoon does not jet Kansas and is a kind of a nationalist if the connoisseur is a nationalist. sent4: the ctene is subartesian if it is not mitotic. sent5: the monsoon does not jet Kansas. sent6: the ctene is parturient. sent7: the fact that something is a nationalist or does not board Orizaba or both is false if it is not mitotic. sent8: something is parturient and does not jet Kansas if it is not enthusiastic. sent9: the ctene is subartesian. sent10: the monsoon does not jet Kansas if the connoisseur is a kind of a nationalist. sent11: the monsoon either is a nationalist or does board Orizaba or both. sent12: something that is not mitotic alights and is subartesian. sent13: if something is not mitotic then it is subartesian.
sent12 -> int1: the ctene alights and it is subartesian if it is not mitotic.; sent2 -> int2: the ctene is not mitotic.; int1 & int2 -> int3: the ctene does alight and is subartesian.; int3 -> int4: the ctene does alight.;
the fact that the monsoon is a kind of a nationalist and/or it does not board Orizaba is not correct.
sent7 -> int5: that the monsoon is a kind of a nationalist and/or it does not board Orizaba is not right if it is not mitotic.; sent8 -> int6: the monsoon is a kind of parturient thing that does not jet Kansas if it is not enthusiastic.;
$hypothesis$ = the monsoon is a nationalist or it does not board Orizaba or both. ; $context$ = sent1: if the monsoon is parturient and does not jet Kansas then it is not mitotic. sent2: the ctene is parturient but it is not mitotic. sent3: the monsoon does not jet Kansas and is a kind of a nationalist if the connoisseur is a nationalist. sent4: the ctene is subartesian if it is not mitotic. sent5: the monsoon does not jet Kansas. sent6: the ctene is parturient. sent7: the fact that something is a nationalist or does not board Orizaba or both is false if it is not mitotic. sent8: something is parturient and does not jet Kansas if it is not enthusiastic. sent9: the ctene is subartesian. sent10: the monsoon does not jet Kansas if the connoisseur is a kind of a nationalist. sent11: the monsoon either is a nationalist or does board Orizaba or both. sent12: something that is not mitotic alights and is subartesian. sent13: if something is not mitotic then it is subartesian. ; $proof$ = 
sent12 -> int1: the ctene alights and it is subartesian if it is not mitotic.; sent2 -> int2: the ctene is not mitotic.; int1 & int2 -> int3: the ctene does alight and is subartesian.; int3 -> int4: the ctene does alight.; __UNKNOWN__