that the Galatian does not butter and does not soldier bichromated is wrong.
sent1: if there is something such that the fact that it is a muff is not false the Glengarry is not Swiss. sent2: something does not negotiate cachou if the fact that it is not a concentrate and it does not soldier motley does not hold. sent3: if there is something such that that it is a kind of Swiss thing that does not muff does not hold then the Glengarry is not a kind of a Swiss. sent4: if something is not a Swiss then that it is not a concentrate and does not soldier motley is incorrect. sent5: the Glengarry does negotiate cachou if the ethane is not non-nutritional. sent6: the fact that the Galatian is not a butter and it does not soldier bichromated does not hold if the ethane does not soldier bichromated. sent7: there is something such that that it is Swiss and it does not muff does not hold. sent8: the fact that the fact that something is non-Coptic thing that is not nutritional is true does not hold if that it does soldier bichromated hold.
sent8 -> int1: if the ethane soldiers bichromated the fact that it is not a kind of a Coptic and it is not nutritional is wrong.; void -> assump1: Let's assume that the ethane does soldier bichromated.; int1 & assump1 -> int2: that the ethane is not a Coptic and it is not nutritional is incorrect.; sent2 -> int3: if that the Glengarry is not a concentrate and does not soldier motley does not hold then it does not negotiate cachou.; sent4 -> int4: the fact that the Glengarry is not a concentrate and it does not soldier motley does not hold if it is not Swiss.; sent7 & sent3 -> int5: the Glengarry is not a Swiss.; int4 & int5 -> int6: the fact that the Glengarry does not concentrate and does not soldier motley is incorrect.; int3 & int6 -> int7: the Glengarry does not negotiate cachou.;
$hypothesis$ = that the Galatian does not butter and does not soldier bichromated is wrong. ; $context$ = sent1: if there is something such that the fact that it is a muff is not false the Glengarry is not Swiss. sent2: something does not negotiate cachou if the fact that it is not a concentrate and it does not soldier motley does not hold. sent3: if there is something such that that it is a kind of Swiss thing that does not muff does not hold then the Glengarry is not a kind of a Swiss. sent4: if something is not a Swiss then that it is not a concentrate and does not soldier motley is incorrect. sent5: the Glengarry does negotiate cachou if the ethane is not non-nutritional. sent6: the fact that the Galatian is not a butter and it does not soldier bichromated does not hold if the ethane does not soldier bichromated. sent7: there is something such that that it is Swiss and it does not muff does not hold. sent8: the fact that the fact that something is non-Coptic thing that is not nutritional is true does not hold if that it does soldier bichromated hold. ; $proof$ = 
sent8 -> int1: if the ethane soldiers bichromated the fact that it is not a kind of a Coptic and it is not nutritional is wrong.; void -> assump1: Let's assume that the ethane does soldier bichromated.; int1 & assump1 -> int2: that the ethane is not a Coptic and it is not nutritional is incorrect.; sent2 -> int3: if that the Glengarry is not a concentrate and does not soldier motley does not hold then it does not negotiate cachou.; sent4 -> int4: the fact that the Glengarry is not a concentrate and it does not soldier motley does not hold if it is not Swiss.; sent7 & sent3 -> int5: the Glengarry is not a Swiss.; int4 & int5 -> int6: the fact that the Glengarry does not concentrate and does not soldier motley is incorrect.; int3 & int6 -> int7: the Glengarry does not negotiate cachou.; __UNKNOWN__