the saltpan is an anachronism.
sent1: the saltpan is a ileus if the fact that the onager is a viability does not hold. sent2: the saltpan is not metaphysical if the nasopharynx is a ileus and is an anachronism. sent3: there exists something such that it is not etymological. sent4: something is an anachronism if the fact that it is either a viability or not a ileus or both is incorrect. sent5: if something is not etymological the fact that it is hand-held thing that is an anachronism is not true. sent6: that the saltpan is a viability and/or it is not a ileus is not true if the onager is not a kind of a viability. sent7: if the technician is hand-held and is a longbow the nasopharynx is metaphysical. sent8: the nasopharynx is metaphysical if the technician is non-hand-held thing that is a kind of a longbow. sent9: the dicloxacillin is a acanthocephalan if the nasopharynx is metaphysical. sent10: the technician is both not hand-held and a longbow if something is not etymological. sent11: the dicloxacillin is machine-made and is a zone. sent12: the saltpan is a ileus.
sent3 & sent10 -> int1: the technician is non-hand-held a longbow.; int1 & sent8 -> int2: the nasopharynx is metaphysical.; int2 & sent9 -> int3: the dicloxacillin is a acanthocephalan.; sent11 -> int4: the dicloxacillin is machine-made.; int3 & int4 -> int5: the dicloxacillin is a acanthocephalan and is machine-made.; sent4 -> int6: if the fact that the fact that the saltpan is a viability or it is not a ileus or both does not hold hold the fact that it is an anachronism hold.;
the saltpan is not an anachronism.
sent5 -> int7: if the technician is not etymological that it is hand-held an anachronism is not true.;
$hypothesis$ = the saltpan is an anachronism. ; $context$ = sent1: the saltpan is a ileus if the fact that the onager is a viability does not hold. sent2: the saltpan is not metaphysical if the nasopharynx is a ileus and is an anachronism. sent3: there exists something such that it is not etymological. sent4: something is an anachronism if the fact that it is either a viability or not a ileus or both is incorrect. sent5: if something is not etymological the fact that it is hand-held thing that is an anachronism is not true. sent6: that the saltpan is a viability and/or it is not a ileus is not true if the onager is not a kind of a viability. sent7: if the technician is hand-held and is a longbow the nasopharynx is metaphysical. sent8: the nasopharynx is metaphysical if the technician is non-hand-held thing that is a kind of a longbow. sent9: the dicloxacillin is a acanthocephalan if the nasopharynx is metaphysical. sent10: the technician is both not hand-held and a longbow if something is not etymological. sent11: the dicloxacillin is machine-made and is a zone. sent12: the saltpan is a ileus. ; $proof$ = 
sent3 & sent10 -> int1: the technician is non-hand-held a longbow.; int1 & sent8 -> int2: the nasopharynx is metaphysical.; int2 & sent9 -> int3: the dicloxacillin is a acanthocephalan.; sent11 -> int4: the dicloxacillin is machine-made.; int3 & int4 -> int5: the dicloxacillin is a acanthocephalan and is machine-made.; sent4 -> int6: if the fact that the fact that the saltpan is a viability or it is not a ileus or both does not hold hold the fact that it is an anachronism hold.; __UNKNOWN__