もしそのヒルベルト変換がＪ区だとしたらその開口度はださい
fact1: そのヒルベルト変換はださい fact2: その開口度が貫徹出来るならあの無限者はださい fact3: あの入射光がＪ区だとすればそのヒルベルト変換は貫徹出来る fact4: その海豚はＪ区である fact5: その羽布はださい fact6: その読書会はＪ区だ fact7: その開口度は貫徹出来る fact8: もしあの無限者がＪ区だとすればそのヒルベルト変換は貫徹出来る fact9: もしあの無限者が貫徹出来るならその開口度はださい fact10: もし仮にそのヒルベルト変換がダウ平均であるならばその開口度はＪ区である fact11: 仮にその開口度がＪ区だとすればそのヒルベルト変換はださい fact12: その開口度はＪ区だ fact13: 「あの無限者はＪ区だ」ということは嘘でない fact14: もし仮にそのヒルベルト変換がＪ区であるとするとあの無限者は貫徹出来る fact15: 仮にそのヒルベルト変換がださいならばあの開口度はＪ区だ fact16: そのヒルベルト変換が貫徹出来るとしたらあの無限者はＪ区である fact17: あの無限者はださい fact18: そのヒルベルト変換がＪ区だとしたらその開口度は貫徹出来る
void -> assump1: 以下のように仮定する。「そのヒルベルト変換はＪ区である」ということは真実である; fact14 & assump1 -> int1: あの無限者は貫徹出来る; int1 & fact9 -> int2: その開口度はださい; [assump1] & int2 -> hypothesis;
$facts$ = fact1: そのヒルベルト変換はださい fact2: その開口度が貫徹出来るならあの無限者はださい fact3: あの入射光がＪ区だとすればそのヒルベルト変換は貫徹出来る fact4: その海豚はＪ区である fact5: その羽布はださい fact6: その読書会はＪ区だ fact7: その開口度は貫徹出来る fact8: もしあの無限者がＪ区だとすればそのヒルベルト変換は貫徹出来る fact9: もしあの無限者が貫徹出来るならその開口度はださい fact10: もし仮にそのヒルベルト変換がダウ平均であるならばその開口度はＪ区である fact11: 仮にその開口度がＪ区だとすればそのヒルベルト変換はださい fact12: その開口度はＪ区だ fact13: 「あの無限者はＪ区だ」ということは嘘でない fact14: もし仮にそのヒルベルト変換がＪ区であるとするとあの無限者は貫徹出来る fact15: 仮にそのヒルベルト変換がださいならばあの開口度はＪ区だ fact16: そのヒルベルト変換が貫徹出来るとしたらあの無限者はＪ区である fact17: あの無限者はださい fact18: そのヒルベルト変換がＪ区だとしたらその開口度は貫徹出来る ; $hypothesis$ = もしそのヒルベルト変換がＪ区だとしたらその開口度はださい ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのヒルベルト変換はＪ区である」ということは真実である; fact14 & assump1 -> int1: あの無限者は貫徹出来る; int1 & fact9 -> int2: その開口度はださい; [assump1] & int2 -> hypothesis; __PROVED__
事実1: そのヒルベルト変換はださい
事実2: その開口度が貫徹出来るならあの無限者はださい
事実3: あの入射光がＪ区だとすればそのヒルベルト変換は貫徹出来る
事実4: その海豚はＪ区である
事実5: その羽布はださい
事実6: その読書会はＪ区だ
事実7: その開口度は貫徹出来る
事実8: もしあの無限者がＪ区だとすればそのヒルベルト変換は貫徹出来る
事実9: もしあの無限者が貫徹出来るならその開口度はださい
事実10: もし仮にそのヒルベルト変換がダウ平均であるならばその開口度はＪ区である
事実11: 仮にその開口度がＪ区だとすればそのヒルベルト変換はださい
事実12: その開口度はＪ区だ
事実13: 「あの無限者はＪ区だ」ということは嘘でない
事実14: もし仮にそのヒルベルト変換がＪ区であるとするとあの無限者は貫徹出来る
事実15: 仮にそのヒルベルト変換がださいならばあの開口度はＪ区だ
事実16: そのヒルベルト変換が貫徹出来るとしたらあの無限者はＪ区である
事実17: あの無限者はださい
事実18: そのヒルベルト変換がＪ区だとしたらその開口度は貫徹出来る

仮説: もしそのヒルベルト変換がＪ区だとしたらその開口度はださい
1. 仮定1: 以下のように仮定する。「そのヒルベルト変換はＪ区である」ということは真実である
2. 事実14と仮定1から、推論1: "あの無限者は貫徹出来る"が導かれる
3. 推論1と事実9から、推論2: "その開口度はださい"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

よって、仮説が証明されました。