something is not a thatch and/or it is not a blinded.
sent1: the armyworm is not autologous. sent2: something is a thatch and/or not blinded. sent3: the magnetograph does thatch or it is not blinded or both. sent4: if there is something such that it is not stingless then the magnetograph is a thatch or it is not blinded or both. sent5: something is both not a paster and an enforcer. sent6: the armyworm is a kind of a paster if something is a paster. sent7: there is something such that the fact that it is both not a paster and an enforcer is not correct. sent8: there exists something such that it is stingless. sent9: the armyworm is a paster if there is something such that that it is not a kind of a paster and is an enforcer is not correct. sent10: the magnetograph does not thatch or it is not a blinded or both if there exists something such that it is not stingless. sent11: there is something such that that it is a paster and it is a kind of an enforcer is wrong. sent12: the magnetograph does not thatch or it is a kind of a blinded or both if there is something such that it is not stingless. sent13: if the fact that something is a blinded that does contemn hallelujah is not true it does not contemn hallelujah. sent14: something is not autologous if it is a paster.
sent7 & sent9 -> int1: the armyworm is a paster.;
the fact that the internist does not contemn hallelujah and does not contemn armyworm is not wrong.
sent13 -> int2: that the internist does not contemn hallelujah hold if that it is a blinded and does contemn hallelujah is false.;
$hypothesis$ = something is not a thatch and/or it is not a blinded. ; $context$ = sent1: the armyworm is not autologous. sent2: something is a thatch and/or not blinded. sent3: the magnetograph does thatch or it is not blinded or both. sent4: if there is something such that it is not stingless then the magnetograph is a thatch or it is not blinded or both. sent5: something is both not a paster and an enforcer. sent6: the armyworm is a kind of a paster if something is a paster. sent7: there is something such that the fact that it is both not a paster and an enforcer is not correct. sent8: there exists something such that it is stingless. sent9: the armyworm is a paster if there is something such that that it is not a kind of a paster and is an enforcer is not correct. sent10: the magnetograph does not thatch or it is not a blinded or both if there exists something such that it is not stingless. sent11: there is something such that that it is a paster and it is a kind of an enforcer is wrong. sent12: the magnetograph does not thatch or it is a kind of a blinded or both if there is something such that it is not stingless. sent13: if the fact that something is a blinded that does contemn hallelujah is not true it does not contemn hallelujah. sent14: something is not autologous if it is a paster. ; $proof$ = 
sent7 & sent9 -> int1: the armyworm is a paster.; __UNKNOWN__