「もしも眩しいとすると「迷信深いがしかし御案内しない」ということは誤りである」物はある
fact1: 「もし仮に「ぶっとくない」ということは成り立たないとすれば汚らわしいけれど臭くない」物はある fact2: この二十二日条は眩しいなら「迷信深い一方で御案内しない」ということは誤っている fact3: 「眩しいならば「迷信深いしおまけに御案内する」ということは嘘である」ものはある fact4: 「もしも読み難いならば「心地良いし百六十五ページ参照であるということはない」ということは成り立たない」物はある fact5: もしその世渡りが迷信深いならばエビデンス・ベーストだがしかし低温接続でない fact6: 「もしうんちするなら達すけれど低温接続でない」ものはある fact7: もし仮にある物は二個組であるとすると「復讐するししかも植物状態だということはない」ということは成り立たない fact8: 「仮に戦犯追及だとすれば開き易いけれど住み易くない」物はある
fact2 -> hypothesis;
「二個組だとすれば「「復讐する一方で植物状態でない」ということは本当だ」ということは間違いである」物はある
fact9 -> int1: もしあの御旗本は二個組であるなら「復讐するがしかし植物状態でない」ということは間違いだ; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に「ぶっとくない」ということは成り立たないとすれば汚らわしいけれど臭くない」物はある fact2: この二十二日条は眩しいなら「迷信深い一方で御案内しない」ということは誤っている fact3: 「眩しいならば「迷信深いしおまけに御案内する」ということは嘘である」ものはある fact4: 「もしも読み難いならば「心地良いし百六十五ページ参照であるということはない」ということは成り立たない」物はある fact5: もしその世渡りが迷信深いならばエビデンス・ベーストだがしかし低温接続でない fact6: 「もしうんちするなら達すけれど低温接続でない」ものはある fact7: もし仮にある物は二個組であるとすると「復讐するししかも植物状態だということはない」ということは成り立たない fact8: 「仮に戦犯追及だとすれば開き易いけれど住み易くない」物はある ; $hypothesis$ = 「もしも眩しいとすると「迷信深いがしかし御案内しない」ということは誤りである」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「もし仮に「ぶっとくない」ということは成り立たないとすれば汚らわしいけれど臭くない」物はある
事実2: この二十二日条は眩しいなら「迷信深い一方で御案内しない」ということは誤っている
事実3: 「眩しいならば「迷信深いしおまけに御案内する」ということは嘘である」ものはある
事実4: 「もしも読み難いならば「心地良いし百六十五ページ参照であるということはない」ということは成り立たない」物はある
事実5: もしその世渡りが迷信深いならばエビデンス・ベーストだがしかし低温接続でない
事実6: 「もしうんちするなら達すけれど低温接続でない」ものはある
事実7: もし仮にある物は二個組であるとすると「復讐するししかも植物状態だということはない」ということは成り立たない
事実8: 「仮に戦犯追及だとすれば開き易いけれど住み易くない」物はある

仮説: 「もしも眩しいとすると「迷信深いがしかし御案内しない」ということは誤りである」物はある
1. 事実2から、仮説が導かれる

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