あの根本的解決は男らしいということはない
fact1: 何かは男らしいとすれば痩せこける fact2: もしあるものが見過ごせるとしたらそれは通過する fact3: この空間処理は痩せこける fact4: あの根本的解決は痩せこける fact5: もしも何かはＦＬＡＳＨであるとしたらそれは痩せこける fact6: もし仮になにがしかの物がＦＬＡＳＨでないけどそれが痩せこけるとしたら男らしくない fact7: もしもなにがしかの物は右ページ上でないとしたらそれはＦＬＡＳＨでないがしかし痩せこける fact8: あの根本的解決は守り手である fact9: あの根本的解決は痩せこけるしＦＬＡＳＨだ fact10: 何らかの物はＦＬＡＳＨなら「男らしい」ということは誤っていない fact11: あの根本的解決は嗜むしそれに反復性片頭痛である
fact9 -> int1: あの根本的解決はＦＬＡＳＨだ; fact10 -> int2: 「もしあの根本的解決がＦＬＡＳＨならあの根本的解決は男らしい」ということは真実だ; int1 & int2 -> hypothesis;
fact9 -> int1: {B}{a}; fact10 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> hypothesis;
「あの根本的解決は男らしくない」ということは事実だ
fact13 -> int3: もしあの根本的解決はＦＬＡＳＨでないけど痩せこければ男らしくない; fact12 -> int4: もし「あの根本的解決は右ページ上でない」ということは成り立つとするとそれはＦＬＡＳＨでなくてそれは痩せこける;
$facts$ = fact1: 何かは男らしいとすれば痩せこける fact2: もしあるものが見過ごせるとしたらそれは通過する fact3: この空間処理は痩せこける fact4: あの根本的解決は痩せこける fact5: もしも何かはＦＬＡＳＨであるとしたらそれは痩せこける fact6: もし仮になにがしかの物がＦＬＡＳＨでないけどそれが痩せこけるとしたら男らしくない fact7: もしもなにがしかの物は右ページ上でないとしたらそれはＦＬＡＳＨでないがしかし痩せこける fact8: あの根本的解決は守り手である fact9: あの根本的解決は痩せこけるしＦＬＡＳＨだ fact10: 何らかの物はＦＬＡＳＨなら「男らしい」ということは誤っていない fact11: あの根本的解決は嗜むしそれに反復性片頭痛である ; $hypothesis$ = あの根本的解決は男らしいということはない ; $proof$ = 
fact9 -> int1: あの根本的解決はＦＬＡＳＨだ; fact10 -> int2: 「もしあの根本的解決がＦＬＡＳＨならあの根本的解決は男らしい」ということは真実だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 何かは男らしいとすれば痩せこける
事実2: もしあるものが見過ごせるとしたらそれは通過する
事実3: この空間処理は痩せこける
事実4: あの根本的解決は痩せこける
事実5: もしも何かはＦＬＡＳＨであるとしたらそれは痩せこける
事実6: もし仮になにがしかの物がＦＬＡＳＨでないけどそれが痩せこけるとしたら男らしくない
事実7: もしもなにがしかの物は右ページ上でないとしたらそれはＦＬＡＳＨでないがしかし痩せこける
事実8: あの根本的解決は守り手である
事実9: あの根本的解決は痩せこけるしＦＬＡＳＨだ
事実10: 何らかの物はＦＬＡＳＨなら「男らしい」ということは誤っていない
事実11: あの根本的解決は嗜むしそれに反復性片頭痛である

仮説: あの根本的解決は男らしいということはない
1. 事実9から、推論1: "あの根本的解決はＦＬＡＳＨだ"が導かれる
2. 事実10から、推論2: "「もしあの根本的解決がＦＬＡＳＨならあの根本的解決は男らしい」ということは真実だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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