there is something such that the fact that it does smash calciferol and does not downsize is false.
sent1: the bestiality is not a kind of a weir if the fact that the calciferol is not a harridan and/or it is a kind of a hisser is not right. sent2: the range is not a kind of a hisser if the fact that the Stoic does not smash form and is not a kind of a harridan does not hold. sent3: if the bestiality does not debouch and does not smash form then that the range does not debouch hold. sent4: something leans if it does not debouch. sent5: the fact that the Stoic smashes form but it is not a harridan is not true. sent6: if the calciferol is a kind of a weir then the fact that the Stoic does not smash form and it is not a harridan is not true. sent7: the range is a hisser. sent8: the calciferol is a kind of a weir if that the bestiality debouches is not false. sent9: that the range does not understand is right. sent10: if something does lean that it does smash calciferol and does not downsize does not hold. sent11: if the bestiality is not a weir the spermatocyte is a kind of non-lean thing that does not debouch. sent12: the bestiality is a hisser if the range debouches. sent13: if something does not debouch then that it does smash Gropius and it does not wharf is wrong. sent14: if the bestiality is lean that it does smash form and it does not downsize is incorrect. sent15: if the calciferol does not smash form and/or is not a harridan then the bestiality is not a weir.
void -> assump1: Let's assume that the bestiality debouches.; sent8 & assump1 -> int1: that the calciferol is a weir hold.; int1 & sent6 -> int2: that the Stoic does not smash form and is not a harridan does not hold.; int2 & sent2 -> int3: the range is not a hisser.; int3 & sent7 -> int4: this is contradiction.; [assump1] & int4 -> int5: the bestiality does not debouch.; sent4 -> int6: the bestiality does lean if the fact that it does not debouch is correct.; int5 & int6 -> int7: the bestiality leans.; sent10 -> int8: the fact that the bestiality smashes calciferol but it does not downsize is not right if it is lean.; int7 & int8 -> int9: that that that the bestiality does smash calciferol and does not downsize is not wrong is not true is not false.; int9 -> hypothesis;
that the range smashes Gropius and does not wharf does not hold.
sent13 -> int10: if the range does not debouch then the fact that it does smash Gropius and does not wharf is false.;
$hypothesis$ = there is something such that the fact that it does smash calciferol and does not downsize is false. ; $context$ = sent1: the bestiality is not a kind of a weir if the fact that the calciferol is not a harridan and/or it is a kind of a hisser is not right. sent2: the range is not a kind of a hisser if the fact that the Stoic does not smash form and is not a kind of a harridan does not hold. sent3: if the bestiality does not debouch and does not smash form then that the range does not debouch hold. sent4: something leans if it does not debouch. sent5: the fact that the Stoic smashes form but it is not a harridan is not true. sent6: if the calciferol is a kind of a weir then the fact that the Stoic does not smash form and it is not a harridan is not true. sent7: the range is a hisser. sent8: the calciferol is a kind of a weir if that the bestiality debouches is not false. sent9: that the range does not understand is right. sent10: if something does lean that it does smash calciferol and does not downsize does not hold. sent11: if the bestiality is not a weir the spermatocyte is a kind of non-lean thing that does not debouch. sent12: the bestiality is a hisser if the range debouches. sent13: if something does not debouch then that it does smash Gropius and it does not wharf is wrong. sent14: if the bestiality is lean that it does smash form and it does not downsize is incorrect. sent15: if the calciferol does not smash form and/or is not a harridan then the bestiality is not a weir. ; $proof$ = 
void -> assump1: Let's assume that the bestiality debouches.; sent8 & assump1 -> int1: that the calciferol is a weir hold.; int1 & sent6 -> int2: that the Stoic does not smash form and is not a harridan does not hold.; int2 & sent2 -> int3: the range is not a hisser.; int3 & sent7 -> int4: this is contradiction.; [assump1] & int4 -> int5: the bestiality does not debouch.; sent4 -> int6: the bestiality does lean if the fact that it does not debouch is correct.; int5 & int6 -> int7: the bestiality leans.; sent10 -> int8: the fact that the bestiality smashes calciferol but it does not downsize is not right if it is lean.; int7 & int8 -> int9: that that that the bestiality does smash calciferol and does not downsize is not wrong is not true is not false.; int9 -> hypothesis; __PROVED__