「女性らしいしおまけに如才無いものはある」ということは間違いである
fact1: あの法医学教室は奥床しいとしたら「それは雄々しい」ということは事実である fact2: 仮にあの法医学教室が三．ならばこのストーマ周囲は女性らしい fact3: 「このストーマ周囲は如才無い」ということは成り立つ fact4: 如才無い物はある fact5: 女性らしくない物は登拝するし三．である fact6: もし仮にあの法医学教室が女性らしいとするとこのストーマ周囲は三．だ fact7: 仮にあの法医学教室は竜渓書舎であるかまたは不死鳥でないとすれば奥床しい fact8: あの法医学教室は優位性である fact9: あの法医学教室は三．である fact10: 「女性らしい」物はある
fact2 & fact9 -> int1: このストーマ周囲は女性らしい; int1 & fact3 -> int2: このストーマ周囲は女性らしいしかつ如才無い; int2 -> hypothesis;
「登拝するし雄々しい」物はある
fact12 -> int3: 仮にあの法医学教室が女性らしくないとしたらそれは登拝するし更に三．だ;
$facts$ = fact1: あの法医学教室は奥床しいとしたら「それは雄々しい」ということは事実である fact2: 仮にあの法医学教室が三．ならばこのストーマ周囲は女性らしい fact3: 「このストーマ周囲は如才無い」ということは成り立つ fact4: 如才無い物はある fact5: 女性らしくない物は登拝するし三．である fact6: もし仮にあの法医学教室が女性らしいとするとこのストーマ周囲は三．だ fact7: 仮にあの法医学教室は竜渓書舎であるかまたは不死鳥でないとすれば奥床しい fact8: あの法医学教室は優位性である fact9: あの法医学教室は三．である fact10: 「女性らしい」物はある ; $hypothesis$ = 「女性らしいしおまけに如才無いものはある」ということは間違いである ; $proof$ = 
fact2 & fact9 -> int1: このストーマ周囲は女性らしい; int1 & fact3 -> int2: このストーマ周囲は女性らしいしかつ如才無い; int2 -> hypothesis; __DISPROVED__
事実1: あの法医学教室は奥床しいとしたら「それは雄々しい」ということは事実である
事実2: 仮にあの法医学教室が三．ならばこのストーマ周囲は女性らしい
事実3: 「このストーマ周囲は如才無い」ということは成り立つ
事実4: 如才無い物はある
事実5: 女性らしくない物は登拝するし三．である
事実6: もし仮にあの法医学教室が女性らしいとするとこのストーマ周囲は三．だ
事実7: 仮にあの法医学教室は竜渓書舎であるかまたは不死鳥でないとすれば奥床しい
事実8: あの法医学教室は優位性である
事実9: あの法医学教室は三．である
事実10: 「女性らしい」物はある

仮説: 「女性らしいしおまけに如才無いものはある」ということは間違いである
1. 事実2と事実9から、推論1: "このストーマ周囲は女性らしい"が導かれる
2. 推論1と事実3から、推論2: "このストーマ周囲は女性らしいしかつ如才無い"が導かれる
3. 推論2から、仮説が否定される

よって、仮説が否定されました。