the fact that that the pedant does fracture Gish and is not dominical is not right is not false.
sent1: the pedant fractures Gish if there exists something such that it is both Marxist and not a comprehension. sent2: the fact that the pedant does fracture Gish and is not dominical is false if the hornblende does not fracture epistemologist. sent3: the choker is Marxist. sent4: if something is a kind of a comprehension then the fact that it is a Marxist and is not a short does not hold. sent5: if the novice is not non-Marxist that the trifler is non-stimulative a mintage does not hold. sent6: if the hornblende does not fracture epistemologist that the pedant does fracture Gish and is dominical does not hold. sent7: the fact that the pedant fractures Gish and is dominical is false. sent8: that the hornblende does not fracture epistemologist is right if the trifler is stimulative. sent9: if the fact that the professor is a comprehension hold the novice is a Marxist. sent10: that the trifler is stimulative and it is a kind of a mintage is wrong. sent11: the professor is a kind of a comprehension. sent12: if that the trifler is not stimulative but it is a mintage is not right the hornblende does not fracture epistemologist.
sent9 & sent11 -> int1: the novice is a kind of a Marxist.; sent5 & int1 -> int2: that the trifler is not stimulative but it is a mintage is false.; sent12 & int2 -> int3: the hornblende does not fracture epistemologist.; sent2 & int3 -> hypothesis;
that the coalman is a Marxist and is not a short is wrong.
sent4 -> int4: the fact that the coalman is Marxist but it is not a short does not hold if it is a comprehension.;
$hypothesis$ = the fact that that the pedant does fracture Gish and is not dominical is not right is not false. ; $context$ = sent1: the pedant fractures Gish if there exists something such that it is both Marxist and not a comprehension. sent2: the fact that the pedant does fracture Gish and is not dominical is false if the hornblende does not fracture epistemologist. sent3: the choker is Marxist. sent4: if something is a kind of a comprehension then the fact that it is a Marxist and is not a short does not hold. sent5: if the novice is not non-Marxist that the trifler is non-stimulative a mintage does not hold. sent6: if the hornblende does not fracture epistemologist that the pedant does fracture Gish and is dominical does not hold. sent7: the fact that the pedant fractures Gish and is dominical is false. sent8: that the hornblende does not fracture epistemologist is right if the trifler is stimulative. sent9: if the fact that the professor is a comprehension hold the novice is a Marxist. sent10: that the trifler is stimulative and it is a kind of a mintage is wrong. sent11: the professor is a kind of a comprehension. sent12: if that the trifler is not stimulative but it is a mintage is not right the hornblende does not fracture epistemologist. ; $proof$ = 
sent9 & sent11 -> int1: the novice is a kind of a Marxist.; sent5 & int1 -> int2: that the trifler is not stimulative but it is a mintage is false.; sent12 & int2 -> int3: the hornblende does not fracture epistemologist.; sent2 & int3 -> hypothesis; __PROVED__