the console is not unenthusiastic.
sent1: the caddie is not non-astrocytic if the console is unenthusiastic. sent2: something is astrocytic and it squishes colophon if the fact that it does not repot indigestibility hold. sent3: if something does not squish colophon but it repots indigestibility it is unenthusiastic. sent4: if something is astrocytic that it is unenthusiastic hold. sent5: the caddie squishes colophon and is not astrocytic. sent6: the caddie does squish colophon. sent7: the antapex does not squish colophon. sent8: if something is both not totipotent and not interlobular then it does not repot indigestibility. sent9: something does not squish colophon but it does repot indigestibility if it is not totipotent.
void -> assump1: Let's assume that the console is unenthusiastic.; sent1 & assump1 -> int1: the caddie is astrocytic.; sent5 -> int2: the caddie is not astrocytic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the console is functional but not astrocytic.
sent3 -> int4: if the caddie does not squish colophon and repots indigestibility then it is unenthusiastic.; sent9 -> int5: the caddie does not squish colophon and does repot indigestibility if it is not totipotent.;
$hypothesis$ = the console is not unenthusiastic. ; $context$ = sent1: the caddie is not non-astrocytic if the console is unenthusiastic. sent2: something is astrocytic and it squishes colophon if the fact that it does not repot indigestibility hold. sent3: if something does not squish colophon but it repots indigestibility it is unenthusiastic. sent4: if something is astrocytic that it is unenthusiastic hold. sent5: the caddie squishes colophon and is not astrocytic. sent6: the caddie does squish colophon. sent7: the antapex does not squish colophon. sent8: if something is both not totipotent and not interlobular then it does not repot indigestibility. sent9: something does not squish colophon but it does repot indigestibility if it is not totipotent. ; $proof$ = 
void -> assump1: Let's assume that the console is unenthusiastic.; sent1 & assump1 -> int1: the caddie is astrocytic.; sent5 -> int2: the caddie is not astrocytic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__