the Armagnac does not correspond smiley and is not a kind of a theurgy.
sent1: the fact that the Armagnac is not unsupportive but it is a kind of a southernwood is not true if the kentan is a southernwood. sent2: there exists something such that the fact that it is defervescent thing that avoids pallone is false. sent3: that the weightlifter is not a hacksaw or is superjacent or both is incorrect if the copyist is a clincher. sent4: the copyist is not a hovel if the weightlifter is a kind of a people and/or is not a southernwood. sent5: the Armagnac is a hovel and/or unsupportive. sent6: if there is something such that the fact that it is defervescent and it does avoid pallone does not hold then the kentan is not a Bolivian. sent7: that the copyist is not a clincher but it is unsupportive is incorrect. sent8: if the copyist is not a kind of a clincher then the dictostylium peoples or is a clincher or both. sent9: either the kentan rends or it is superjacent or both. sent10: the Armagnac is not a theurgy. sent11: if something is a kind of a hovel it is a southernwood. sent12: if that the dictostylium is a people hold then the kentan is a kind of a hovel. sent13: if the dictostylium is a kind of a clincher the kentan is a hovel. sent14: if the dictostylium is unsupportive then that the weightlifter peoples and/or it is not a southernwood is right. sent15: the Armagnac is a clincher if the copyist is a theurgy. sent16: if something is not a clincher that it does not correspond smiley and it is not a theurgy is not true. sent17: the weightlifter is not a hacksaw and/or it is superjacent.
void -> assump1: Let's assume that the copyist is a clincher.; sent3 & assump1 -> int1: that the weightlifter is not a kind of a hacksaw and/or is superjacent is incorrect.; int1 & sent17 -> int2: this is contradiction.; [assump1] & int2 -> int3: the copyist is not a clincher.; int3 & sent8 -> int4: the dictostylium is a people or it is a clincher or both.; int4 & sent12 & sent13 -> int5: the kentan is a kind of a hovel.; sent11 -> int6: if that the kentan is a hovel hold the fact that it is a southernwood hold.; int5 & int6 -> int7: the kentan is a kind of a southernwood.; int7 & sent1 -> int8: that the Armagnac is both supportive and a southernwood is incorrect.;
the fact that the Armagnac does not correspond smiley and is not a theurgy is wrong.
sent16 -> int9: that the Armagnac does not correspond smiley and is not a kind of a theurgy is false if it is not a kind of a clincher.; sent2 & sent6 -> int10: the kentan is not a Bolivian.; int10 -> int11: there is something such that it is not a kind of a Bolivian.;
$hypothesis$ = the Armagnac does not correspond smiley and is not a kind of a theurgy. ; $context$ = sent1: the fact that the Armagnac is not unsupportive but it is a kind of a southernwood is not true if the kentan is a southernwood. sent2: there exists something such that the fact that it is defervescent thing that avoids pallone is false. sent3: that the weightlifter is not a hacksaw or is superjacent or both is incorrect if the copyist is a clincher. sent4: the copyist is not a hovel if the weightlifter is a kind of a people and/or is not a southernwood. sent5: the Armagnac is a hovel and/or unsupportive. sent6: if there is something such that the fact that it is defervescent and it does avoid pallone does not hold then the kentan is not a Bolivian. sent7: that the copyist is not a clincher but it is unsupportive is incorrect. sent8: if the copyist is not a kind of a clincher then the dictostylium peoples or is a clincher or both. sent9: either the kentan rends or it is superjacent or both. sent10: the Armagnac is not a theurgy. sent11: if something is a kind of a hovel it is a southernwood. sent12: if that the dictostylium is a people hold then the kentan is a kind of a hovel. sent13: if the dictostylium is a kind of a clincher the kentan is a hovel. sent14: if the dictostylium is unsupportive then that the weightlifter peoples and/or it is not a southernwood is right. sent15: the Armagnac is a clincher if the copyist is a theurgy. sent16: if something is not a clincher that it does not correspond smiley and it is not a theurgy is not true. sent17: the weightlifter is not a hacksaw and/or it is superjacent. ; $proof$ = 
void -> assump1: Let's assume that the copyist is a clincher.; sent3 & assump1 -> int1: that the weightlifter is not a kind of a hacksaw and/or is superjacent is incorrect.; int1 & sent17 -> int2: this is contradiction.; [assump1] & int2 -> int3: the copyist is not a clincher.; int3 & sent8 -> int4: the dictostylium is a people or it is a clincher or both.; int4 & sent12 & sent13 -> int5: the kentan is a kind of a hovel.; sent11 -> int6: if that the kentan is a hovel hold the fact that it is a southernwood hold.; int5 & int6 -> int7: the kentan is a kind of a southernwood.; int7 & sent1 -> int8: that the Armagnac is both supportive and a southernwood is incorrect.; __UNKNOWN__