the archangel is a patrimony.
sent1: the Cherokee is not cheliferous if the archangel is unipolar and is not an internationalization. sent2: if the zidovudine is not unipolar then it is not a boxing. sent3: something is not a boxing if it does not slink archangel. sent4: if that the sandal is both not a moloch and a lily is false it is a moloch. sent5: if the Cherokee does not slink archangel then the archangel is both not a patrimony and unipolar. sent6: the zidovudine does not slink archangel. sent7: that the archangel is a kind of a lily and/or it is not cheliferous is wrong if the sandal is not a kind of a moloch. sent8: if something is a moloch then that it is a kind of an internationalization hold. sent9: the Cherokee is a moloch if the sandal is a kind of a moloch. sent10: if the fact that the Cherokee is not a kind of an internationalization is right the zidovudine does slink archangel and is not a moloch. sent11: the Cherokee is an internationalization but it is not unipolar if the zidovudine does not box. sent12: if the fact that the Cherokee is an internationalization but it is not unipolar is correct the sandal is not a moloch. sent13: The archangel does not slink zidovudine. sent14: the archangel is not a kind of a lily. sent15: the archangel is a patrimony if that it is a lily and/or it is not cheliferous is incorrect. sent16: the Cherokee is not a boxing.
sent3 -> int1: the zidovudine does not box if that it does not slink archangel hold.; int1 & sent6 -> int2: the zidovudine does not box.; int2 & sent11 -> int3: the Cherokee is a kind of an internationalization and is not unipolar.; int3 & sent12 -> int4: that the sandal is not a moloch is not incorrect.; int4 & sent7 -> int5: that the archangel is a lily and/or it is non-cheliferous is not right.; int5 & sent15 -> hypothesis;
the archangel is not a kind of a patrimony.
sent8 -> int6: if the Cherokee is a moloch then it is an internationalization.;
$hypothesis$ = the archangel is a patrimony. ; $context$ = sent1: the Cherokee is not cheliferous if the archangel is unipolar and is not an internationalization. sent2: if the zidovudine is not unipolar then it is not a boxing. sent3: something is not a boxing if it does not slink archangel. sent4: if that the sandal is both not a moloch and a lily is false it is a moloch. sent5: if the Cherokee does not slink archangel then the archangel is both not a patrimony and unipolar. sent6: the zidovudine does not slink archangel. sent7: that the archangel is a kind of a lily and/or it is not cheliferous is wrong if the sandal is not a kind of a moloch. sent8: if something is a moloch then that it is a kind of an internationalization hold. sent9: the Cherokee is a moloch if the sandal is a kind of a moloch. sent10: if the fact that the Cherokee is not a kind of an internationalization is right the zidovudine does slink archangel and is not a moloch. sent11: the Cherokee is an internationalization but it is not unipolar if the zidovudine does not box. sent12: if the fact that the Cherokee is an internationalization but it is not unipolar is correct the sandal is not a moloch. sent13: The archangel does not slink zidovudine. sent14: the archangel is not a kind of a lily. sent15: the archangel is a patrimony if that it is a lily and/or it is not cheliferous is incorrect. sent16: the Cherokee is not a boxing. ; $proof$ = 
sent3 -> int1: the zidovudine does not box if that it does not slink archangel hold.; int1 & sent6 -> int2: the zidovudine does not box.; int2 & sent11 -> int3: the Cherokee is a kind of an internationalization and is not unipolar.; int3 & sent12 -> int4: that the sandal is not a moloch is not incorrect.; int4 & sent7 -> int5: that the archangel is a lily and/or it is non-cheliferous is not right.; int5 & sent15 -> hypothesis; __PROVED__