that there exists something such that if it does not construct Chytridiaceae it is not a kind of a menarche and it does not construct Panorpidae is false.
sent1: something is not a menarche and does not construct Panorpidae if it does not construct Chytridiaceae. sent2: if something does not construct Chytridiaceae then it is not a menarche.
sent1 -> int1: if the settee does not construct Chytridiaceae it is not a menarche and does not construct Panorpidae.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if it does not construct Chytridiaceae it is not a kind of a menarche and it does not construct Panorpidae is false. ; $context$ = sent1: something is not a menarche and does not construct Panorpidae if it does not construct Chytridiaceae. sent2: if something does not construct Chytridiaceae then it is not a menarche. ; $proof$ = 
sent1 -> int1: if the settee does not construct Chytridiaceae it is not a menarche and does not construct Panorpidae.; int1 -> hypothesis; __DISPROVED__