the scribe does not hedgehop.
sent1: the scribe is a kind of a homogenate if the toxicologist is a kind of a Magnificat. sent2: there is nothing such that it does not suborn Peter and/or it is a snip. sent3: that the madake is not semantic and it is not a kind of a marl is not correct if it is not phrenological. sent4: if the fact that the coldcream does not suborn Peter and/or snips is false then the scribe does not hedgehop. sent5: if something is not a tribuneship then it is a Magnificat. sent6: if something is a kind of a homogenate it does hedgehop.
sent2 -> int1: the fact that either the coldcream does not suborn Peter or it does snip or both is incorrect.; sent4 & int1 -> hypothesis;
the scribe does hedgehop.
sent6 -> int2: the scribe hedgehops if it is a homogenate.; sent5 -> int3: if the toxicologist is not a tribuneship then it is a kind of a Magnificat.;
$hypothesis$ = the scribe does not hedgehop. ; $context$ = sent1: the scribe is a kind of a homogenate if the toxicologist is a kind of a Magnificat. sent2: there is nothing such that it does not suborn Peter and/or it is a snip. sent3: that the madake is not semantic and it is not a kind of a marl is not correct if it is not phrenological. sent4: if the fact that the coldcream does not suborn Peter and/or snips is false then the scribe does not hedgehop. sent5: if something is not a tribuneship then it is a Magnificat. sent6: if something is a kind of a homogenate it does hedgehop. ; $proof$ = 
sent2 -> int1: the fact that either the coldcream does not suborn Peter or it does snip or both is incorrect.; sent4 & int1 -> hypothesis; __PROVED__