the transgressor is not a eightsome.
sent1: if there exists something such that it is a kind of a punks then the laudator is a kind of non-avionic thing that is not a neurotic. sent2: if that something is non-onomastic thing that is not a pomologist does not hold it is a eightsome. sent3: the potoroo is a punks. sent4: if the pinetum is not summery then the transgressor is not a kind of a eightsome. sent5: the transgressor regards classroom and is summery. sent6: if the fact that something is an insert and/or it does not regard classroom is incorrect it is not summery. sent7: if the transgressor is not onomastic and it is not a kind of a pomologist then it is not summery. sent8: if the transgressor is not a eightsome and it is not onomastic the mimic is onomastic. sent9: the transgressor is not onomastic but it regards dodo if there is something such that it is not avionic.
void -> assump1: Let's assume that the transgressor is not onomastic and it is not a pomologist.; sent7 & assump1 -> int1: the transgressor is not summery.; sent5 -> int2: the transgressor is summery.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the transgressor is a kind of non-onomastic thing that is not a pomologist does not hold.; sent2 -> int5: if the fact that the transgressor is not onomastic and it is not a kind of a pomologist is not true then the fact that it is a eightsome is right.; int4 & int5 -> hypothesis;
the mimic is onomastic.
sent6 -> int6: the pinetum is not summery if the fact that either it is a kind of an insert or it does not regard classroom or both is incorrect.; sent3 -> int7: something is a punks.; int7 & sent1 -> int8: the laudator is not avionic and not a neurotic.; int8 -> int9: the laudator is not avionic.; int9 -> int10: there is something such that it is not avionic.; int10 & sent9 -> int11: the transgressor is non-onomastic thing that does regard dodo.; int11 -> int12: the transgressor is not onomastic.;
$hypothesis$ = the transgressor is not a eightsome. ; $context$ = sent1: if there exists something such that it is a kind of a punks then the laudator is a kind of non-avionic thing that is not a neurotic. sent2: if that something is non-onomastic thing that is not a pomologist does not hold it is a eightsome. sent3: the potoroo is a punks. sent4: if the pinetum is not summery then the transgressor is not a kind of a eightsome. sent5: the transgressor regards classroom and is summery. sent6: if the fact that something is an insert and/or it does not regard classroom is incorrect it is not summery. sent7: if the transgressor is not onomastic and it is not a kind of a pomologist then it is not summery. sent8: if the transgressor is not a eightsome and it is not onomastic the mimic is onomastic. sent9: the transgressor is not onomastic but it regards dodo if there is something such that it is not avionic. ; $proof$ = 
void -> assump1: Let's assume that the transgressor is not onomastic and it is not a pomologist.; sent7 & assump1 -> int1: the transgressor is not summery.; sent5 -> int2: the transgressor is summery.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the transgressor is a kind of non-onomastic thing that is not a pomologist does not hold.; sent2 -> int5: if the fact that the transgressor is not onomastic and it is not a kind of a pomologist is not true then the fact that it is a eightsome is right.; int4 & int5 -> hypothesis; __DISPROVED__