the totemist is not more if the borsch is boskopoid.
sent1: if there exists something such that that it convoys grad and is not a priest does not hold the Canadian is not more. sent2: there exists something such that that it is a kind of more thing that is not boskopoid is not true. sent3: the Canadian is not a priest if that it is a Maintenon and convoys grad is true. sent4: that the Canadian is a Maintenon and it convoys grad is not true. sent5: the environmentalist is not boskopoid. sent6: the totemist is not a priest and writes. sent7: if the totemist is not more the borsch is not boskopoid but more. sent8: the borsch is not boskopoid if there is something such that that it is a Maintenon and it does not convoy grad does not hold. sent9: there is something such that the fact that it is a kind of a Maintenon and it does convoy grad is not true. sent10: if something is a kind of a Maintenon and it convoys grad the fact that it is not a priest is right. sent11: the Canadian does not convoy grad. sent12: if the Canadian is not a priest the totemist is both not more and a priest. sent13: if something does convoy grad then the borsch is not boskopoid. sent14: if something is a kind of a Maintenon that does not convoy grad it is not a priest. sent15: something is a Maintenon but it does not convoy grad. sent16: the totemist is more. sent17: if the borsch is boskopoid the totemist is more. sent18: the totemist is not boskopoid. sent19: if something is boskopoid but it is not a Maintenon it does not convoy grad. sent20: the totemist is not calyptrate.
void -> assump2: Let's assume that that the Canadian is a Maintenon and does not convoy grad is incorrect.; assump2 -> int1: there exists something such that the fact that it is a Maintenon that does not convoy grad is wrong.; int1 & sent8 -> int2: the borsch is not boskopoid.; void -> assump1: Let's assume that that the borsch is boskopoid hold.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the Canadian is a Maintenon but it does not convoy grad.; sent14 -> int5: the Canadian is not a priest if it is a Maintenon that does not convoy grad.; int4 & int5 -> int6: the Canadian is not a priest.; int6 & sent12 -> int7: the totemist is not more and is a priest.; int7 -> int8: the totemist is not more.; [assump1] & int8 -> hypothesis;
$hypothesis$ = the totemist is not more if the borsch is boskopoid. ; $context$ = sent1: if there exists something such that that it convoys grad and is not a priest does not hold the Canadian is not more. sent2: there exists something such that that it is a kind of more thing that is not boskopoid is not true. sent3: the Canadian is not a priest if that it is a Maintenon and convoys grad is true. sent4: that the Canadian is a Maintenon and it convoys grad is not true. sent5: the environmentalist is not boskopoid. sent6: the totemist is not a priest and writes. sent7: if the totemist is not more the borsch is not boskopoid but more. sent8: the borsch is not boskopoid if there is something such that that it is a Maintenon and it does not convoy grad does not hold. sent9: there is something such that the fact that it is a kind of a Maintenon and it does convoy grad is not true. sent10: if something is a kind of a Maintenon and it convoys grad the fact that it is not a priest is right. sent11: the Canadian does not convoy grad. sent12: if the Canadian is not a priest the totemist is both not more and a priest. sent13: if something does convoy grad then the borsch is not boskopoid. sent14: if something is a kind of a Maintenon that does not convoy grad it is not a priest. sent15: something is a Maintenon but it does not convoy grad. sent16: the totemist is more. sent17: if the borsch is boskopoid the totemist is more. sent18: the totemist is not boskopoid. sent19: if something is boskopoid but it is not a Maintenon it does not convoy grad. sent20: the totemist is not calyptrate. ; $proof$ = 
void -> assump2: Let's assume that that the Canadian is a Maintenon and does not convoy grad is incorrect.; assump2 -> int1: there exists something such that the fact that it is a Maintenon that does not convoy grad is wrong.; int1 & sent8 -> int2: the borsch is not boskopoid.; void -> assump1: Let's assume that that the borsch is boskopoid hold.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the Canadian is a Maintenon but it does not convoy grad.; sent14 -> int5: the Canadian is not a priest if it is a Maintenon that does not convoy grad.; int4 & int5 -> int6: the Canadian is not a priest.; int6 & sent12 -> int7: the totemist is not more and is a priest.; int7 -> int8: the totemist is not more.; [assump1] & int8 -> hypothesis; __PROVED__