the esquire is a groundfish and is not a gastroenterostomy.
sent1: the fact that the armiger is not a kind of a diamagnetism or it is not archival or both does not hold if something is not a pica. sent2: the esquire is a groundfish but it is not a gastroenterostomy if the neurolinguist does not dominate Sillago. sent3: the dirndl is not a kind of a diamagnetism. sent4: if something is Mycenaean that it is a groundfish and it is not a kind of a gastroenterostomy is incorrect. sent5: if that something is a kind of a pica that does dominate Sillago is not right then it is not Mycenaean. sent6: if something dominates Sillago then it is Mycenaean. sent7: the esquire is not a pica and/or is not a gastroenterostomy. sent8: a non-Mycenaean thing is not a kind of a Navarino and/or is not a kind of a gastroenterostomy. sent9: if the neurolinguist is Mycenaean and/or does dominate Sillago then the dirndl is not a pica.
void -> assump1: Let's assume that the fact that the neurolinguist dominates Sillago is true.; assump1 -> int1: the neurolinguist is Mycenaean or it dominates Sillago or both.; int1 & sent9 -> int2: the dirndl is not a pica.; int2 -> int3: there exists something such that it is not a pica.; int3 & sent1 -> int4: that the armiger is not a diamagnetism or it is not archival or both is not right.;
the neurolinguist is not a Navarino and/or it is not a gastroenterostomy.
sent8 -> int5: if the neurolinguist is not Mycenaean then it is not a Navarino and/or it is not a gastroenterostomy.; sent5 -> int6: the neurolinguist is not Mycenaean if the fact that it is a pica and does dominate Sillago is false.;
$hypothesis$ = the esquire is a groundfish and is not a gastroenterostomy. ; $context$ = sent1: the fact that the armiger is not a kind of a diamagnetism or it is not archival or both does not hold if something is not a pica. sent2: the esquire is a groundfish but it is not a gastroenterostomy if the neurolinguist does not dominate Sillago. sent3: the dirndl is not a kind of a diamagnetism. sent4: if something is Mycenaean that it is a groundfish and it is not a kind of a gastroenterostomy is incorrect. sent5: if that something is a kind of a pica that does dominate Sillago is not right then it is not Mycenaean. sent6: if something dominates Sillago then it is Mycenaean. sent7: the esquire is not a pica and/or is not a gastroenterostomy. sent8: a non-Mycenaean thing is not a kind of a Navarino and/or is not a kind of a gastroenterostomy. sent9: if the neurolinguist is Mycenaean and/or does dominate Sillago then the dirndl is not a pica. ; $proof$ = 
void -> assump1: Let's assume that the fact that the neurolinguist dominates Sillago is true.; assump1 -> int1: the neurolinguist is Mycenaean or it dominates Sillago or both.; int1 & sent9 -> int2: the dirndl is not a pica.; int2 -> int3: there exists something such that it is not a pica.; int3 & sent1 -> int4: that the armiger is not a diamagnetism or it is not archival or both is not right.; __UNKNOWN__