あの誘引は反撃出来る
fact1: 仮に「とある物はセンテッドゼラニウムだ」ということは真実であるとすれば消臭しない fact2: もしも「「二十日号でないし南面するということはない」ということは誤りである」ものがあるならあの本州四国連絡橋は括り方でない fact3: あの開始時間はデータベース化しないなら「二十日号でなくて南面しない」ということは本当だということはない fact4: あの開始時間は補強しないけど実質為替レートだ fact5: あの誘引は和平プロセスであるしセンテッドゼラニウムである fact6: もしもあの誘引が消臭するということはないけど反撃出来るとしたらあの本州四国連絡橋は括り方である fact7: もしもあの開始時間が補強しないけれどそれが実質為替レートならデータベース化しない
fact5 -> int1: あの誘引はセンテッドゼラニウムである; fact1 -> int2: あの誘引はセンテッドゼラニウムならば「消臭しない」ということは成り立つ; int1 & int2 -> int3: あの誘引は消臭しない; void -> assump1: 以下のように仮定する。あの誘引は反撃出来る; int3 & assump1 -> int4: あの誘引は消臭しない一方でそれは反撃出来る; int4 & fact6 -> int5: 「あの本州四国連絡橋は括り方だ」ということは成り立つ; fact7 & fact4 -> int6: あの開始時間はデータベース化するということはない; fact3 & int6 -> int7: 「あの開始時間は二十日号でなくてまた南面しない」ということは誤っている; int7 -> int8: 「「「二十日号でなくてその上南面しない」ということは間違いでない」ということは真実でない」ものはある; int8 & fact2 -> int9: あの本州四国連絡橋は括り方でない; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
$facts$ = fact1: 仮に「とある物はセンテッドゼラニウムだ」ということは真実であるとすれば消臭しない fact2: もしも「「二十日号でないし南面するということはない」ということは誤りである」ものがあるならあの本州四国連絡橋は括り方でない fact3: あの開始時間はデータベース化しないなら「二十日号でなくて南面しない」ということは本当だということはない fact4: あの開始時間は補強しないけど実質為替レートだ fact5: あの誘引は和平プロセスであるしセンテッドゼラニウムである fact6: もしもあの誘引が消臭するということはないけど反撃出来るとしたらあの本州四国連絡橋は括り方である fact7: もしもあの開始時間が補強しないけれどそれが実質為替レートならデータベース化しない ; $hypothesis$ = あの誘引は反撃出来る ; $proof$ = 
fact5 -> int1: あの誘引はセンテッドゼラニウムである; fact1 -> int2: あの誘引はセンテッドゼラニウムならば「消臭しない」ということは成り立つ; int1 & int2 -> int3: あの誘引は消臭しない; void -> assump1: 以下のように仮定する。あの誘引は反撃出来る; int3 & assump1 -> int4: あの誘引は消臭しない一方でそれは反撃出来る; int4 & fact6 -> int5: 「あの本州四国連絡橋は括り方だ」ということは成り立つ; fact7 & fact4 -> int6: あの開始時間はデータベース化するということはない; fact3 & int6 -> int7: 「あの開始時間は二十日号でなくてまた南面しない」ということは誤っている; int7 -> int8: 「「「二十日号でなくてその上南面しない」ということは間違いでない」ということは真実でない」ものはある; int8 & fact2 -> int9: あの本州四国連絡橋は括り方でない; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __DISPROVED__
事実1: 仮に「とある物はセンテッドゼラニウムだ」ということは真実であるとすれば消臭しない
事実2: もしも「「二十日号でないし南面するということはない」ということは誤りである」ものがあるならあの本州四国連絡橋は括り方でない
事実3: あの開始時間はデータベース化しないなら「二十日号でなくて南面しない」ということは本当だということはない
事実4: あの開始時間は補強しないけど実質為替レートだ
事実5: あの誘引は和平プロセスであるしセンテッドゼラニウムである
事実6: もしもあの誘引が消臭するということはないけど反撃出来るとしたらあの本州四国連絡橋は括り方である
事実7: もしもあの開始時間が補強しないけれどそれが実質為替レートならデータベース化しない

仮説: あの誘引は反撃出来る
1. 事実5から、推論1: "あの誘引はセンテッドゼラニウムである"が導かれる
2. 事実1から、推論2: "あの誘引はセンテッドゼラニウムならば「消臭しない」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "あの誘引は消臭しない"が導かれる
4. 仮定1: 以下のように仮定する。あの誘引は反撃出来る
5. 推論3と仮定1から、推論4: "あの誘引は消臭しない一方でそれは反撃出来る"が導かれる
6. 推論4と事実6から、推論5: "「あの本州四国連絡橋は括り方だ」ということは成り立つ"が導かれる
7. 事実7と事実4から、推論6: "あの開始時間はデータベース化するということはない"が導かれる
8. 事実3と推論6から、推論7: "「あの開始時間は二十日号でなくてまた南面しない」ということは誤っている"が導かれる
9. 推論7から、推論8: "「「「二十日号でなくてその上南面しない」ということは間違いでない」ということは真実でない」ものはある"が導かれる
10. 推論8と事実2から、推論9: "あの本州四国連絡橋は括り方でない"が導かれる
11. 推論5と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が否定される

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