the ursinia does not fix centare.
sent1: something that is not a kind of a Egypt is a kind of a Niagara that is not a kind of a defeatism. sent2: if the manic-depressive does not fix Francoa then the goldbrick is not a kind of a Malian. sent3: the manic-depressive fixes Hammerstein and/or it does not fix Francoa. sent4: if that the manic-depressive does article cornstarch and/or it is not a kind of a Wiesbaden is false it does not fix Francoa. sent5: the fact that the goldbrick is a Malian is true. sent6: something is a kind of a Wiesbaden if it does fix centare and does not fix Hammerstein. sent7: if the manic-depressive articles cornstarch or it is not a Wiesbaden or both the di-iodotyrosine is not a Egypt. sent8: that the manic-depressive does not fix Francoa is true if that it does article cornstarch and/or it is a kind of a Wiesbaden is wrong. sent9: if the di-iodotyrosine does parse cement that the quark does not fix Hammerstein but it parse cement does not hold. sent10: something parses cement if it is a kind of a Niagara that is not a kind of a defeatism. sent11: that the quark does not fix Hammerstein and does not parse cement is wrong if the di-iodotyrosine does parse cement.
void -> assump1: Let's assume that that the manic-depressive does article cornstarch or is not a Wiesbaden or both is wrong.; sent4 & assump1 -> int1: the manic-depressive does not fix Francoa.; int1 & sent2 -> int2: the goldbrick is not a kind of a Malian.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the manic-depressive articles cornstarch or it is not a kind of a Wiesbaden or both.; int4 & sent7 -> int5: the di-iodotyrosine is not a Egypt.; sent1 -> int6: if that the di-iodotyrosine is not a Egypt hold then it is a Niagara and it is not a defeatism.; int5 & int6 -> int7: the di-iodotyrosine is a kind of a Niagara and is not a defeatism.; sent10 -> int8: if the di-iodotyrosine is a kind of a Niagara and is not a defeatism it parses cement.; int7 & int8 -> int9: the di-iodotyrosine parses cement.; int9 & sent11 -> int10: the fact that the quark does not fix Hammerstein and does not parse cement is not true.;
$hypothesis$ = the ursinia does not fix centare. ; $context$ = sent1: something that is not a kind of a Egypt is a kind of a Niagara that is not a kind of a defeatism. sent2: if the manic-depressive does not fix Francoa then the goldbrick is not a kind of a Malian. sent3: the manic-depressive fixes Hammerstein and/or it does not fix Francoa. sent4: if that the manic-depressive does article cornstarch and/or it is not a kind of a Wiesbaden is false it does not fix Francoa. sent5: the fact that the goldbrick is a Malian is true. sent6: something is a kind of a Wiesbaden if it does fix centare and does not fix Hammerstein. sent7: if the manic-depressive articles cornstarch or it is not a Wiesbaden or both the di-iodotyrosine is not a Egypt. sent8: that the manic-depressive does not fix Francoa is true if that it does article cornstarch and/or it is a kind of a Wiesbaden is wrong. sent9: if the di-iodotyrosine does parse cement that the quark does not fix Hammerstein but it parse cement does not hold. sent10: something parses cement if it is a kind of a Niagara that is not a kind of a defeatism. sent11: that the quark does not fix Hammerstein and does not parse cement is wrong if the di-iodotyrosine does parse cement. ; $proof$ = 
void -> assump1: Let's assume that that the manic-depressive does article cornstarch or is not a Wiesbaden or both is wrong.; sent4 & assump1 -> int1: the manic-depressive does not fix Francoa.; int1 & sent2 -> int2: the goldbrick is not a kind of a Malian.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the manic-depressive articles cornstarch or it is not a kind of a Wiesbaden or both.; int4 & sent7 -> int5: the di-iodotyrosine is not a Egypt.; sent1 -> int6: if that the di-iodotyrosine is not a Egypt hold then it is a Niagara and it is not a defeatism.; int5 & int6 -> int7: the di-iodotyrosine is a kind of a Niagara and is not a defeatism.; sent10 -> int8: if the di-iodotyrosine is a kind of a Niagara and is not a defeatism it parses cement.; int7 & int8 -> int9: the di-iodotyrosine parses cement.; int9 & sent11 -> int10: the fact that the quark does not fix Hammerstein and does not parse cement is not true.; __UNKNOWN__