the technophile does not vacate petrology if the packthread is non-alular thing that does not knit.
sent1: if something does not vacate petrology and/or does not stack it does not vacate petrology. sent2: the technophile does not vacate petrology if the packthread is not alular but a knitting. sent3: if the fact that something is not a morbidity or is not a kind of a stack or both is not true it does not vacate petrology. sent4: if something that is not a knitting is not alular then the packthread does not vacate petrology. sent5: the packthread is not a kind of a knitting. sent6: if the fact that something is not alular and it does not knit is not incorrect the technophile vacates petrology. sent7: the technophile does not vacate petrology if the packthread is a kind of alular thing that is not a knitting.
void -> assump1: Let's assume that the packthread is not alular and is not a kind of a knitting.; assump1 -> int1: something is not alular and it is not a knitting.;
the packthread does not vacate petrology.
sent3 -> int2: if that the fact that that either the packthread is not a morbidity or it is not a stack or both is right is not right is correct that it does not vacate petrology is not false.;
$hypothesis$ = the technophile does not vacate petrology if the packthread is non-alular thing that does not knit. ; $context$ = sent1: if something does not vacate petrology and/or does not stack it does not vacate petrology. sent2: the technophile does not vacate petrology if the packthread is not alular but a knitting. sent3: if the fact that something is not a morbidity or is not a kind of a stack or both is not true it does not vacate petrology. sent4: if something that is not a knitting is not alular then the packthread does not vacate petrology. sent5: the packthread is not a kind of a knitting. sent6: if the fact that something is not alular and it does not knit is not incorrect the technophile vacates petrology. sent7: the technophile does not vacate petrology if the packthread is a kind of alular thing that is not a knitting. ; $proof$ = 
void -> assump1: Let's assume that the packthread is not alular and is not a kind of a knitting.; assump1 -> int1: something is not alular and it is not a knitting.; __UNKNOWN__