that the Benedictine is not a truncheon and does not make is wrong.
sent1: there is something such that the fact that it is euphonious or it is a Monodon or both is not right. sent2: that the web is inopportune is true. sent3: the francium is not inopportune if the fact that it is a kind of non-sorrowful thing that is inopportune is not right. sent4: if either the francium is not euphonious or it is a Monodon or both the web is not inopportune. sent5: something is insurrectional. sent6: if there exists something such that that it is not a kind of a truncheon is true the Benedictine is not a Monodon and it is not insurrectional. sent7: if the francium is not insurrectional then the fact that the web either does not disown peanut or is a Monodon or both is not wrong. sent8: if there is something such that it is not insurrectional then the Benedictine is not a truncheon and it does not make. sent9: the web is both non-offing and not inaccessible. sent10: if there exists something such that that either it is not euphonious or it is a Monodon or both is incorrect then the climber is not insurrectional. sent11: the web is not inopportune if the francium is not euphonious.
void -> assump1: Let's assume that the francium is not euphonious or is a kind of a Monodon or both.; sent4 & assump1 -> int1: the web is not inopportune.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the francium either is not euphonious or is a kind of a Monodon or both is wrong.; int3 -> int4: there is something such that that it is not euphonious or a Monodon or both is not true.; int4 & sent10 -> int5: that the climber is insurrectional does not hold.; int5 -> int6: there is something such that it is not insurrectional.; int6 & sent8 -> hypothesis;
the fact that the Benedictine is not a truncheon and it does not make is wrong.
$hypothesis$ = that the Benedictine is not a truncheon and does not make is wrong. ; $context$ = sent1: there is something such that the fact that it is euphonious or it is a Monodon or both is not right. sent2: that the web is inopportune is true. sent3: the francium is not inopportune if the fact that it is a kind of non-sorrowful thing that is inopportune is not right. sent4: if either the francium is not euphonious or it is a Monodon or both the web is not inopportune. sent5: something is insurrectional. sent6: if there exists something such that that it is not a kind of a truncheon is true the Benedictine is not a Monodon and it is not insurrectional. sent7: if the francium is not insurrectional then the fact that the web either does not disown peanut or is a Monodon or both is not wrong. sent8: if there is something such that it is not insurrectional then the Benedictine is not a truncheon and it does not make. sent9: the web is both non-offing and not inaccessible. sent10: if there exists something such that that either it is not euphonious or it is a Monodon or both is incorrect then the climber is not insurrectional. sent11: the web is not inopportune if the francium is not euphonious. ; $proof$ = 
void -> assump1: Let's assume that the francium is not euphonious or is a kind of a Monodon or both.; sent4 & assump1 -> int1: the web is not inopportune.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the francium either is not euphonious or is a kind of a Monodon or both is wrong.; int3 -> int4: there is something such that that it is not euphonious or a Monodon or both is not true.; int4 & sent10 -> int5: that the climber is insurrectional does not hold.; int5 -> int6: there is something such that it is not insurrectional.; int6 & sent8 -> hypothesis; __DISPROVED__