あの庭内は発色管でないし恐れ多くない
fact1: 仮にあの謙がサーフでないとすればこの放題はかまけるしその上一説である fact2: もしあの謙がサーフであるしそれがかまけるとすればこの最後部は先妻でない fact3: あの謙は一説である fact4: 仮にあの謙は一説であるとすれば「サーフだ」ということは事実である fact5: もしもこの最後部は先妻だということはないならば「「あのシタラビンは互換性だということはないけれどそれは先妻だ」ということは誤りである」ということは事実だ fact6: この調性は恐れ多くない fact7: あの謙は営業停止でそれはかまける fact8: もし仮になんらかのものは一説であるとしたらそれは発色管でない fact9: この最後部は先妻でないとしたら「あのシタラビンは互換性でないしかつそれは先妻でない」ということは誤りである fact10: 「あのシタラビンは互換性でないが先妻だ」ということは成り立たない fact11: 仮にこの育房は恐れ多いとすると「「あの庭内は発色管でなくてその上恐れ多くない」ということは誤りである」ということは成り立つ fact12: もし「この最後部は先妻でない」ということは真実だとすると「あのシタラビンは互換性である一方で先妻だということはない」ということは事実でない fact13: 「仮にこの最後部がサーフであるし恐れ多いならあの謙は恐れ多くない」ということは正しい fact14: 仮にあの謙が恐れ多くないとすればあの庭内は恐れ多くない fact15: 「あの庭内は発色管だがしかしそれは恐れ多くない」ということは間違いだ fact16: もしこの育房は恐れ多いならば「あの庭内は発色管でないがしかしそれは恐れ多い」ということは真実でない fact17: 「あのシタラビンは互換性だがしかし先妻でない」ということは誤りである fact18: 仮に「「あのシタラビンは互換性でないししかも先妻でない」ということは本当である」ということは成り立たないならば「この育房は恐れ多い」ということは本当である fact19: あの謙は営業停止だ fact20: この最後部はサーフである
fact4 & fact3 -> int1: あの謙はサーフだ; fact7 -> int2: あの謙はかまける; int1 & int2 -> int3: あの謙はサーフでかつかまける; int3 & fact2 -> int4: この最後部は先妻でない; int4 & fact9 -> int5: 「あのシタラビンは互換性であるということはなくて先妻でない」ということは間違いだ; int5 & fact18 -> int6: 「この育房は恐れ多い」ということは真実だ; int6 & fact11 -> hypothesis;
この放題はかまける
$facts$ = fact1: 仮にあの謙がサーフでないとすればこの放題はかまけるしその上一説である fact2: もしあの謙がサーフであるしそれがかまけるとすればこの最後部は先妻でない fact3: あの謙は一説である fact4: 仮にあの謙は一説であるとすれば「サーフだ」ということは事実である fact5: もしもこの最後部は先妻だということはないならば「「あのシタラビンは互換性だということはないけれどそれは先妻だ」ということは誤りである」ということは事実だ fact6: この調性は恐れ多くない fact7: あの謙は営業停止でそれはかまける fact8: もし仮になんらかのものは一説であるとしたらそれは発色管でない fact9: この最後部は先妻でないとしたら「あのシタラビンは互換性でないしかつそれは先妻でない」ということは誤りである fact10: 「あのシタラビンは互換性でないが先妻だ」ということは成り立たない fact11: 仮にこの育房は恐れ多いとすると「「あの庭内は発色管でなくてその上恐れ多くない」ということは誤りである」ということは成り立つ fact12: もし「この最後部は先妻でない」ということは真実だとすると「あのシタラビンは互換性である一方で先妻だということはない」ということは事実でない fact13: 「仮にこの最後部がサーフであるし恐れ多いならあの謙は恐れ多くない」ということは正しい fact14: 仮にあの謙が恐れ多くないとすればあの庭内は恐れ多くない fact15: 「あの庭内は発色管だがしかしそれは恐れ多くない」ということは間違いだ fact16: もしこの育房は恐れ多いならば「あの庭内は発色管でないがしかしそれは恐れ多い」ということは真実でない fact17: 「あのシタラビンは互換性だがしかし先妻でない」ということは誤りである fact18: 仮に「「あのシタラビンは互換性でないししかも先妻でない」ということは本当である」ということは成り立たないならば「この育房は恐れ多い」ということは本当である fact19: あの謙は営業停止だ fact20: この最後部はサーフである ; $hypothesis$ = あの庭内は発色管でないし恐れ多くない ; $proof$ = 
fact4 & fact3 -> int1: あの謙はサーフだ; fact7 -> int2: あの謙はかまける; int1 & int2 -> int3: あの謙はサーフでかつかまける; int3 & fact2 -> int4: この最後部は先妻でない; int4 & fact9 -> int5: 「あのシタラビンは互換性であるということはなくて先妻でない」ということは間違いだ; int5 & fact18 -> int6: 「この育房は恐れ多い」ということは真実だ; int6 & fact11 -> hypothesis; __DISPROVED__
事実1: 仮にあの謙がサーフでないとすればこの放題はかまけるしその上一説である
事実2: もしあの謙がサーフであるしそれがかまけるとすればこの最後部は先妻でない
事実3: あの謙は一説である
事実4: 仮にあの謙は一説であるとすれば「サーフだ」ということは事実である
事実5: もしもこの最後部は先妻だということはないならば「「あのシタラビンは互換性だということはないけれどそれは先妻だ」ということは誤りである」ということは事実だ
事実6: この調性は恐れ多くない
事実7: あの謙は営業停止でそれはかまける
事実8: もし仮になんらかのものは一説であるとしたらそれは発色管でない
事実9: この最後部は先妻でないとしたら「あのシタラビンは互換性でないしかつそれは先妻でない」ということは誤りである
事実10: 「あのシタラビンは互換性でないが先妻だ」ということは成り立たない
事実11: 仮にこの育房は恐れ多いとすると「「あの庭内は発色管でなくてその上恐れ多くない」ということは誤りである」ということは成り立つ
事実12: もし「この最後部は先妻でない」ということは真実だとすると「あのシタラビンは互換性である一方で先妻だということはない」ということは事実でない
事実13: 「仮にこの最後部がサーフであるし恐れ多いならあの謙は恐れ多くない」ということは正しい
事実14: 仮にあの謙が恐れ多くないとすればあの庭内は恐れ多くない
事実15: 「あの庭内は発色管だがしかしそれは恐れ多くない」ということは間違いだ
事実16: もしこの育房は恐れ多いならば「あの庭内は発色管でないがしかしそれは恐れ多い」ということは真実でない
事実17: 「あのシタラビンは互換性だがしかし先妻でない」ということは誤りである
事実18: 仮に「「あのシタラビンは互換性でないししかも先妻でない」ということは本当である」ということは成り立たないならば「この育房は恐れ多い」ということは本当である
事実19: あの謙は営業停止だ
事実20: この最後部はサーフである

仮説: あの庭内は発色管でないし恐れ多くない
1. 事実4と事実3から、推論1: "あの謙はサーフだ"が導かれる
2. 事実7から、推論2: "あの謙はかまける"が導かれる
3. 推論1と推論2から、推論3: "あの謙はサーフでかつかまける"が導かれる
4. 推論3と事実2から、推論4: "この最後部は先妻でない"が導かれる
5. 推論4と事実9から、推論5: "「あのシタラビンは互換性であるということはなくて先妻でない」ということは間違いだ"が導かれる
6. 推論5と事実18から、推論6: "「この育房は恐れ多い」ということは真実だ"が導かれる
7. 推論6と事実11から、仮説が否定される

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