the calyculus is not atonal.
sent1: that the calyculus skedaddles percale is false. sent2: something that is not a abscondment and is trustworthy does finedraw cutout. sent3: everything does not skedaddle percale. sent4: the arthrogram is atonal if the calyculus does skedaddle percale. sent5: the falchion is not a kind of a abscondment. sent6: if the fact that the arthrogram is atonal but it does not skedaddle percale is not right the calyculus is not atonal. sent7: if the fact that the falchion is viricidal is correct the fact that that the arthrogram is atonal but it does not skedaddle percale is not incorrect is not true. sent8: the cucumber is not atonal. sent9: if something does skedaddle percale then it is atonal. sent10: the arthrogram skedaddles percale if the calyculus is atonal. sent11: the indicator does not skedaddle percale. sent12: if the fact that the mathematician does finedraw cutout is not incorrect then the falchion is viricidal. sent13: the Barbadian is atonal.
void -> assump1: Let's assume that the calyculus is atonal.; sent10 & assump1 -> int1: the arthrogram does skedaddle percale.; sent3 -> int2: the arthrogram does not skedaddle percale.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the binnacle is atonal.
sent9 -> int4: the binnacle is atonal if it skedaddles percale.;
$hypothesis$ = the calyculus is not atonal. ; $context$ = sent1: that the calyculus skedaddles percale is false. sent2: something that is not a abscondment and is trustworthy does finedraw cutout. sent3: everything does not skedaddle percale. sent4: the arthrogram is atonal if the calyculus does skedaddle percale. sent5: the falchion is not a kind of a abscondment. sent6: if the fact that the arthrogram is atonal but it does not skedaddle percale is not right the calyculus is not atonal. sent7: if the fact that the falchion is viricidal is correct the fact that that the arthrogram is atonal but it does not skedaddle percale is not incorrect is not true. sent8: the cucumber is not atonal. sent9: if something does skedaddle percale then it is atonal. sent10: the arthrogram skedaddles percale if the calyculus is atonal. sent11: the indicator does not skedaddle percale. sent12: if the fact that the mathematician does finedraw cutout is not incorrect then the falchion is viricidal. sent13: the Barbadian is atonal. ; $proof$ = 
void -> assump1: Let's assume that the calyculus is atonal.; sent10 & assump1 -> int1: the arthrogram does skedaddle percale.; sent3 -> int2: the arthrogram does not skedaddle percale.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__