that the coolie is not a stamp if the frogmouth is not apocryphal is wrong.
sent1: if something does not manacle night-line it does not stamp. sent2: something does not confabulate if that it is not vernal is correct. sent3: if the fact that the beech is not apocryphal is true that that it does not stamp and does not invite beech is not wrong is false. sent4: the coolie is not insensitive. sent5: if the beech does not invite beech that the coolie does invite beech and does manacle night-line is not true. sent6: the fact that the coolie is a kind of non-Orthodox thing that does not invite beech is not true. sent7: if the coolie is not apocryphal then that it is not a Diocletian and not a stamp is incorrect. sent8: if the fact that the coolie does invite beech and it manacles night-line is not true then it stamps. sent9: the coolie is not a Diocletian. sent10: the fact that the coolie is not apocryphal is not incorrect. sent11: if that the frogmouth is not Orthodox and it is not a Diocletian does not hold the beech does not invite beech. sent12: something does not stamp if that it invites beech and it manacles night-line is not correct. sent13: the fact that the beech does invite beech and is a kind of a stamp is wrong. sent14: if the frogmouth is not apocryphal then the coolie is a stamp. sent15: if the fact that the beech is not a stamp and does not invite beech is false then the coolie is not Orthodox. sent16: that the frogmouth is both not Orthodox and not a Diocletian is incorrect if it is not apocryphal. sent17: that the testator is not bellyless but a gutsiness is not right.
void -> assump1: Let's assume that the frogmouth is non-apocryphal.; sent16 & assump1 -> int1: the fact that the frogmouth is not Orthodox and not a Diocletian is not true.; int1 & sent11 -> int2: the beech does not invite beech.; int2 & sent5 -> int3: the fact that the coolie invites beech and it does manacle night-line is incorrect.; sent12 -> int4: the coolie does not stamp if that it invites beech and manacles night-line is not right.; int3 & int4 -> int5: that the coolie is not a kind of a stamp is not false.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the coolie is not a stamp if the frogmouth is not apocryphal is wrong. ; $context$ = sent1: if something does not manacle night-line it does not stamp. sent2: something does not confabulate if that it is not vernal is correct. sent3: if the fact that the beech is not apocryphal is true that that it does not stamp and does not invite beech is not wrong is false. sent4: the coolie is not insensitive. sent5: if the beech does not invite beech that the coolie does invite beech and does manacle night-line is not true. sent6: the fact that the coolie is a kind of non-Orthodox thing that does not invite beech is not true. sent7: if the coolie is not apocryphal then that it is not a Diocletian and not a stamp is incorrect. sent8: if the fact that the coolie does invite beech and it manacles night-line is not true then it stamps. sent9: the coolie is not a Diocletian. sent10: the fact that the coolie is not apocryphal is not incorrect. sent11: if that the frogmouth is not Orthodox and it is not a Diocletian does not hold the beech does not invite beech. sent12: something does not stamp if that it invites beech and it manacles night-line is not correct. sent13: the fact that the beech does invite beech and is a kind of a stamp is wrong. sent14: if the frogmouth is not apocryphal then the coolie is a stamp. sent15: if the fact that the beech is not a stamp and does not invite beech is false then the coolie is not Orthodox. sent16: that the frogmouth is both not Orthodox and not a Diocletian is incorrect if it is not apocryphal. sent17: that the testator is not bellyless but a gutsiness is not right. ; $proof$ = 
void -> assump1: Let's assume that the frogmouth is non-apocryphal.; sent16 & assump1 -> int1: the fact that the frogmouth is not Orthodox and not a Diocletian is not true.; int1 & sent11 -> int2: the beech does not invite beech.; int2 & sent5 -> int3: the fact that the coolie invites beech and it does manacle night-line is incorrect.; sent12 -> int4: the coolie does not stamp if that it invites beech and manacles night-line is not right.; int3 & int4 -> int5: that the coolie is not a kind of a stamp is not false.; [assump1] & int5 -> hypothesis; __DISPROVED__