the Chuvash is both not a bloodmobile and not ornithological.
sent1: if the Chuvash pronates and is not a kind of a bloodmobile it is not a emendation. sent2: something that is a Arawn is a blight. sent3: that the Chuvash is not a kind of a bloodmobile is right if the fact that something is a blight but it is not graphic is correct. sent4: the anomalist is not a graphic if the indweller does not pronate and is not anticlinal. sent5: there exists something such that it is a kind of a metropolitan. sent6: the anomalist is a kind of a Arawn if it does not pronate. sent7: the anomalist is not decent. sent8: the indweller does not pronate and is non-anticlinal. sent9: if the anomalist is not a emendation then it is a kind of a Sue and it is not a Senora. sent10: the Chuvash is not ornithological. sent11: there exists something such that it is a emendation and it is a kind of a Espagnole. sent12: the indweller does not conscript Trasimeno and it is not a lesbian. sent13: something is not a kind of a Espagnole if it is a Sue and is not a Senora. sent14: the anomalist is not a emendation.
void -> assump1: Let's assume that the anomalist is not a Arawn.; assump1 & sent7 -> int1: the anomalist is not a Arawn and not decent.; sent13 -> int2: that the anomalist is not a Espagnole is not wrong if that it is a kind of a Sue that is not a Senora is true.; sent9 & sent14 -> int3: the anomalist is a Sue but not a Senora.; int2 & int3 -> int4: the anomalist is not a kind of a Espagnole.; sent2 -> int5: the anomalist is a blight if it is a Arawn.; sent4 & sent8 -> int6: the anomalist is not graphic.;
$hypothesis$ = the Chuvash is both not a bloodmobile and not ornithological. ; $context$ = sent1: if the Chuvash pronates and is not a kind of a bloodmobile it is not a emendation. sent2: something that is a Arawn is a blight. sent3: that the Chuvash is not a kind of a bloodmobile is right if the fact that something is a blight but it is not graphic is correct. sent4: the anomalist is not a graphic if the indweller does not pronate and is not anticlinal. sent5: there exists something such that it is a kind of a metropolitan. sent6: the anomalist is a kind of a Arawn if it does not pronate. sent7: the anomalist is not decent. sent8: the indweller does not pronate and is non-anticlinal. sent9: if the anomalist is not a emendation then it is a kind of a Sue and it is not a Senora. sent10: the Chuvash is not ornithological. sent11: there exists something such that it is a emendation and it is a kind of a Espagnole. sent12: the indweller does not conscript Trasimeno and it is not a lesbian. sent13: something is not a kind of a Espagnole if it is a Sue and is not a Senora. sent14: the anomalist is not a emendation. ; $proof$ = 
void -> assump1: Let's assume that the anomalist is not a Arawn.; assump1 & sent7 -> int1: the anomalist is not a Arawn and not decent.; sent13 -> int2: that the anomalist is not a Espagnole is not wrong if that it is a kind of a Sue that is not a Senora is true.; sent9 & sent14 -> int3: the anomalist is a Sue but not a Senora.; int2 & int3 -> int4: the anomalist is not a kind of a Espagnole.; sent2 -> int5: the anomalist is a blight if it is a Arawn.; sent4 & sent8 -> int6: the anomalist is not graphic.; __UNKNOWN__