the axerophthol is extrospective.
sent1: the myrobalan does letter caricature if the axerophthol does letter caricature. sent2: that the axerophthol is extrospective is not false if a capitular thing is not actuarial. sent3: the unilateralist is capitular. sent4: something is not an earshot and it is not praetorian if it is an ass. sent5: the compact is an ass. sent6: the axerophthol is not actuarial. sent7: the scene-stealer is actuarial. sent8: the myrobalan is not actuarial. sent9: the myrobalan is not non-capitular.
sent9 & sent8 -> int1: the myrobalan is capitular but it is not actuarial.; int1 -> int2: there is something such that it is capitular and it is non-actuarial.; int2 & sent2 -> hypothesis;
there is something such that it does letter caricature and it does not still Leccinum.
$hypothesis$ = the axerophthol is extrospective. ; $context$ = sent1: the myrobalan does letter caricature if the axerophthol does letter caricature. sent2: that the axerophthol is extrospective is not false if a capitular thing is not actuarial. sent3: the unilateralist is capitular. sent4: something is not an earshot and it is not praetorian if it is an ass. sent5: the compact is an ass. sent6: the axerophthol is not actuarial. sent7: the scene-stealer is actuarial. sent8: the myrobalan is not actuarial. sent9: the myrobalan is not non-capitular. ; $proof$ = 
sent9 & sent8 -> int1: the myrobalan is capitular but it is not actuarial.; int1 -> int2: there is something such that it is capitular and it is non-actuarial.; int2 & sent2 -> hypothesis; __PROVED__