「その全五種類は絵尽くす」ということは確かだ
fact1: 何かは公租公課だし更に描画する fact2: 何らかのものは公租公課でないけど描画する fact3: あるものが公租公課でないが描画するとしたらあのフロント・フェンダーはリバーブだ fact4: もし「騒がしくない」物はあるとすると「「この蜘蛛少女は使い難くないが移動し易い」ということは誤っている」ということは成り立つ fact5: 「公租公課でない」物はある fact6: 「「リバーブだ」ということは成り立つ」物はある fact7: なにかは描画しないけれど勘定すればその全五種類はバーディだ fact8: なにがしかのものは描画する fact9: なにがしかの物はリバーブでない fact10: あのメンソールは騒がしいということはない fact11: その全五種類は描画する fact12: 仮にあのフロント・フェンダーがリバーブだとするとその全五種類は絵尽くす fact13: もし「この蜘蛛少女は使い難くないがしかし移動し易い」ということは間違いであるならばあの現社長は移動し易くない fact14: 仮にこの現社長が移動し易くないとすればあの搬出はリバーブでないが反撃出来る fact15: 「あるものはリバーブであるし更に絵尽くす」ということは本当である
fact2 & fact3 -> int1: あのフロント・フェンダーはリバーブだ; int1 & fact12 -> hypothesis;
fact2 & fact3 -> int1: {C}{a}; int1 & fact12 -> hypothesis;
「その全五種類は絵尽くすということはない」ということは確かである
fact19 -> int2: 「「騒がしくない」ということは確かな」ものはある; int2 & fact17 -> int3: 「この蜘蛛少女は使い難くないがしかし移動し易い」ということは誤りだ; fact18 & int3 -> int4: この現社長は移動し易くない; fact16 & int4 -> int5: あの搬出はリバーブでないけど反撃出来る; int5 -> int6: あの搬出はリバーブだということはない; int6 -> int7: 「「リバーブでない」物はある」ということは成り立つ;
$facts$ = fact1: 何かは公租公課だし更に描画する fact2: 何らかのものは公租公課でないけど描画する fact3: あるものが公租公課でないが描画するとしたらあのフロント・フェンダーはリバーブだ fact4: もし「騒がしくない」物はあるとすると「「この蜘蛛少女は使い難くないが移動し易い」ということは誤っている」ということは成り立つ fact5: 「公租公課でない」物はある fact6: 「「リバーブだ」ということは成り立つ」物はある fact7: なにかは描画しないけれど勘定すればその全五種類はバーディだ fact8: なにがしかのものは描画する fact9: なにがしかの物はリバーブでない fact10: あのメンソールは騒がしいということはない fact11: その全五種類は描画する fact12: 仮にあのフロント・フェンダーがリバーブだとするとその全五種類は絵尽くす fact13: もし「この蜘蛛少女は使い難くないがしかし移動し易い」ということは間違いであるならばあの現社長は移動し易くない fact14: 仮にこの現社長が移動し易くないとすればあの搬出はリバーブでないが反撃出来る fact15: 「あるものはリバーブであるし更に絵尽くす」ということは本当である ; $hypothesis$ = 「その全五種類は絵尽くす」ということは確かだ ; $proof$ = 
fact2 & fact3 -> int1: あのフロント・フェンダーはリバーブだ; int1 & fact12 -> hypothesis; __PROVED__
事実1: 何かは公租公課だし更に描画する
事実2: 何らかのものは公租公課でないけど描画する
事実3: あるものが公租公課でないが描画するとしたらあのフロント・フェンダーはリバーブだ
事実4: もし「騒がしくない」物はあるとすると「「この蜘蛛少女は使い難くないが移動し易い」ということは誤っている」ということは成り立つ
事実5: 「公租公課でない」物はある
事実6: 「「リバーブだ」ということは成り立つ」物はある
事実7: なにかは描画しないけれど勘定すればその全五種類はバーディだ
事実8: なにがしかのものは描画する
事実9: なにがしかの物はリバーブでない
事実10: あのメンソールは騒がしいということはない
事実11: その全五種類は描画する
事実12: 仮にあのフロント・フェンダーがリバーブだとするとその全五種類は絵尽くす
事実13: もし「この蜘蛛少女は使い難くないがしかし移動し易い」ということは間違いであるならばあの現社長は移動し易くない
事実14: 仮にこの現社長が移動し易くないとすればあの搬出はリバーブでないが反撃出来る
事実15: 「あるものはリバーブであるし更に絵尽くす」ということは本当である

仮説: 「その全五種類は絵尽くす」ということは確かだ
1. 事実2と事実3から、推論1: "あのフロント・フェンダーはリバーブだ"が導かれる
2. 推論1と事実12から、仮説が導かれる

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