that there is something such that if it does not hedgehop and it is non-ascetic it touts ergotism is false.
sent1: the fact that if the pinhead hedgehops and is not ascetic the pinhead touts ergotism is right. sent2: if something that does not tout ergotism is not a Cincinnatus then it is a kind of a rune. sent3: if the fact that the pinhead is not a IWW and it does not tout ergotism hold it is a fluosilicate. sent4: if a non-ovarian thing is not pudendal then it marches. sent5: the pinhead touts ergotism if it does not hedgehop and is not ascetic.
sent5 -> hypothesis;
there is something such that if it is not ovarian and it is not pudendal it marches.
sent4 -> int1: that the cicerone marches is not wrong if it is not ovarian but non-pudendal.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it does not hedgehop and it is non-ascetic it touts ergotism is false. ; $context$ = sent1: the fact that if the pinhead hedgehops and is not ascetic the pinhead touts ergotism is right. sent2: if something that does not tout ergotism is not a Cincinnatus then it is a kind of a rune. sent3: if the fact that the pinhead is not a IWW and it does not tout ergotism hold it is a fluosilicate. sent4: if a non-ovarian thing is not pudendal then it marches. sent5: the pinhead touts ergotism if it does not hedgehop and is not ascetic. ; $proof$ = 
sent5 -> hypothesis; __DISPROVED__