この胸は還俗しない
fact1: この研究会報告は類別しない fact2: 仮にこの研究会報告が類別するということはないとすればこの胸は還俗する
$facts$ = fact1: この研究会報告は類別しない fact2: 仮にこの研究会報告が類別するということはないとすればこの胸は還俗する ; $hypothesis$ = この胸は還俗しない ; $proof$ = 
事実1: この研究会報告は類別しない
事実2: 仮にこの研究会報告が類別するということはないとすればこの胸は還俗する

仮説: この胸は還俗しない