the AA is not formulary.
sent1: the tablet is a gooseflesh. sent2: the AA either is not a gooseflesh or parses Haywood or both if the Mantle is not a gooseflesh. sent3: the fact that something that either is not a kind of a gooseflesh or parses Haywood or both is not a kind of a formulary hold. sent4: the podzol does fix Lithuanian. sent5: the tablet does article karate and does not fix relativity if the podzol fixes Lithuanian. sent6: The Lithuanian does fix podzol.
void -> assump1: Let's assume that the Mantle is a gooseflesh.; sent5 & sent4 -> int1: the tablet articles karate and does not fix relativity.; sent3 -> int2: the AA is not a kind of a formulary if it either is not a kind of a gooseflesh or parses Haywood or both.;
$hypothesis$ = the AA is not formulary. ; $context$ = sent1: the tablet is a gooseflesh. sent2: the AA either is not a gooseflesh or parses Haywood or both if the Mantle is not a gooseflesh. sent3: the fact that something that either is not a kind of a gooseflesh or parses Haywood or both is not a kind of a formulary hold. sent4: the podzol does fix Lithuanian. sent5: the tablet does article karate and does not fix relativity if the podzol fixes Lithuanian. sent6: The Lithuanian does fix podzol. ; $proof$ = 
void -> assump1: Let's assume that the Mantle is a gooseflesh.; sent5 & sent4 -> int1: the tablet articles karate and does not fix relativity.; sent3 -> int2: the AA is not a kind of a formulary if it either is not a kind of a gooseflesh or parses Haywood or both.; __UNKNOWN__