「仮に「トラブる」ということは本当だとすると司令部でないし真新しくない」物はある
fact1: 「「もしも八十ページ参照であるとすれば「軽くないけど損する」ということは確かな」物はある」ということは真実だ fact2: 仮にその仏が真新しいとすると射通さないし成され易くない fact3: 「もし涙脆いとすれば掃除しない」ものはある fact4: 「格好悪いとすれば誓約しないけれどミラーリングである」物はある fact5: 「仮に官官接待なら「予定しない」ということは事実な」ものはある fact6: その仏がトラブるとしたらそれは司令部でないしそれは真新しくない fact7: 「もし手人であるとしたら浅ましいということはないしおまけに見晴らさない」物はある fact8: その仏がトラブるとするとそれは司令部でない fact9: 「もし出廷すれば骨膜反応でないし減税する」ものはある fact10: もし仮になにかは白黒付けるとすれば誓約しなくてしかもくどくない fact11: 「もし高速度であるとすると慎み深くない」物はある
fact6 -> hypothesis;
fact6 -> hypothesis;
「もし白黒付けるとしたら誓約しなくてくどくない」ものはある
fact12 -> int1: もし仮にあの日直が白黒付けるとするとそれは誓約しないしくどくない; int1 -> hypothesis;
$facts$ = fact1: 「「もしも八十ページ参照であるとすれば「軽くないけど損する」ということは確かな」物はある」ということは真実だ fact2: 仮にその仏が真新しいとすると射通さないし成され易くない fact3: 「もし涙脆いとすれば掃除しない」ものはある fact4: 「格好悪いとすれば誓約しないけれどミラーリングである」物はある fact5: 「仮に官官接待なら「予定しない」ということは事実な」ものはある fact6: その仏がトラブるとしたらそれは司令部でないしそれは真新しくない fact7: 「もし手人であるとしたら浅ましいということはないしおまけに見晴らさない」物はある fact8: その仏がトラブるとするとそれは司令部でない fact9: 「もし出廷すれば骨膜反応でないし減税する」ものはある fact10: もし仮になにかは白黒付けるとすれば誓約しなくてしかもくどくない fact11: 「もし高速度であるとすると慎み深くない」物はある ; $hypothesis$ = 「仮に「トラブる」ということは本当だとすると司令部でないし真新しくない」物はある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「「もしも八十ページ参照であるとすれば「軽くないけど損する」ということは確かな」物はある」ということは真実だ
事実2: 仮にその仏が真新しいとすると射通さないし成され易くない
事実3: 「もし涙脆いとすれば掃除しない」ものはある
事実4: 「格好悪いとすれば誓約しないけれどミラーリングである」物はある
事実5: 「仮に官官接待なら「予定しない」ということは事実な」ものはある
事実6: その仏がトラブるとしたらそれは司令部でないしそれは真新しくない
事実7: 「もし手人であるとしたら浅ましいということはないしおまけに見晴らさない」物はある
事実8: その仏がトラブるとするとそれは司令部でない
事実9: 「もし出廷すれば骨膜反応でないし減税する」ものはある
事実10: もし仮になにかは白黒付けるとすれば誓約しなくてしかもくどくない
事実11: 「もし高速度であるとすると慎み深くない」物はある

仮説: 「仮に「トラブる」ということは本当だとすると司令部でないし真新しくない」物はある
1. 事実6から、仮説が導かれる

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