この建築図は生き抜けるしさらにそれはグレードアップする
fact1: もし仮に何かは加えるなら「あの連歌会は尊しないしおまけにそれは加えらない」ということは間違っている fact2: 「御達する」物はある fact3: もし何らかの物は生き抜けるしかつグレードアップするとすると「それは加えらない」ということは成り立つ fact4: なんらかの物が購買するとすれば尊し fact5: もしもこの禁欲が味わい深いならこの建築図は生き抜ける fact6: もしあの連歌会はグレードアップしないとすれば「この建築図はグレードアップするししかもそれは味わい深い」ということは真実でない fact7: 「何らかの物は尊しないしその上加えらない」ということは間違っているとしたらそれは加える fact8: この給与条例は程良くて加重平均する fact9: もし「あの連歌会はグレードアップしなくてそれに結論しない」ということは偽だとすると「それは結論する」ということは真実である fact10: あの連歌会は生き抜けないならば「この建築図は生き抜けるしグレードアップする」ということは成り立たない fact11: もし仮に何かは短大であるとしたら「加えるということはなくて加えてそれはグレードアップしない」ということは成り立たない fact12: もし「とあるものは骨っぽいけれど限り無いということはない」ということは嘘なら短大だ fact13: もし「この建築図は来し易くないしその上加えらない」ということは本当でないならば加える fact14: 「「加える」ということは成り立つ」ものはある fact15: 「説き続ける」ものはある fact16: もし仮にその老樹が尊しとするとこの禁欲は味わい深い fact17: もしもこのテープ状は男っぽいとすれば「それは骨っぽいけど限り無くない」ということは間違いだ fact18: この禁欲は楽しし泥酔する fact19: この建築図は烏滸がましい fact20: もしも「このテープ状は加えるということはなくてかつグレードアップしない」ということは間違っているならばあの連歌会はグレードアップする fact21: 「あのミルクホイッパーはグレードアップする」ということは真実だ fact22: もしも「この地域メディアは伝え難くないし生き抜けない」ということは間違いならそれは生き抜ける fact23: あの連歌会は味わい深い fact24: もし仮にあの連歌会がグレードアップするとすればあの建築図はグレードアップする fact25: 味わい深いものが生き抜ければ加えらない
void -> assump1: 以下のように仮定する。あの連歌会は生き抜ける; fact23 & assump1 -> int1: 「あの連歌会は味わい深いしおまけに生き抜ける」ということは成り立つ; fact25 -> int2: もしあの連歌会は味わい深くて更に生き抜けるとすればそれは加えらない; int1 & int2 -> int3: あの連歌会は加えらない; fact7 -> int4: もしも「あの連歌会は尊しないし加えて加えらない」ということは成り立たないならばそれは加える; fact1 & fact14 -> int5: 「「あの連歌会は尊しということはないしその上加えるということはない」ということは成り立たない」ということは成り立つ; int4 & int5 -> int6: 「あの連歌会は加える」ということは本当だ; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの連歌会は生き抜けない; int8 & fact10 -> hypothesis;
この建築図は生き抜けるしさらにグレードアップする
fact32 -> int9: その老樹が購買するとするとそれは尊し; fact28 -> int10: 仮にこのテープ状は短大であるとすれば「それは加えないしまたそれはグレードアップしない」ということは誤っている; fact26 -> int11: もし仮に「このテープ状は骨っぽいけど限り無くない」ということは偽であるとすると短大である;
$facts$ = fact1: もし仮に何かは加えるなら「あの連歌会は尊しないしおまけにそれは加えらない」ということは間違っている fact2: 「御達する」物はある fact3: もし何らかの物は生き抜けるしかつグレードアップするとすると「それは加えらない」ということは成り立つ fact4: なんらかの物が購買するとすれば尊し fact5: もしもこの禁欲が味わい深いならこの建築図は生き抜ける fact6: もしあの連歌会はグレードアップしないとすれば「この建築図はグレードアップするししかもそれは味わい深い」ということは真実でない fact7: 「何らかの物は尊しないしその上加えらない」ということは間違っているとしたらそれは加える fact8: この給与条例は程良くて加重平均する fact9: もし「あの連歌会はグレードアップしなくてそれに結論しない」ということは偽だとすると「それは結論する」ということは真実である fact10: あの連歌会は生き抜けないならば「この建築図は生き抜けるしグレードアップする」ということは成り立たない fact11: もし仮に何かは短大であるとしたら「加えるということはなくて加えてそれはグレードアップしない」ということは成り立たない fact12: もし「とあるものは骨っぽいけれど限り無いということはない」ということは嘘なら短大だ fact13: もし「この建築図は来し易くないしその上加えらない」ということは本当でないならば加える fact14: 「「加える」ということは成り立つ」ものはある fact15: 「説き続ける」ものはある fact16: もし仮にその老樹が尊しとするとこの禁欲は味わい深い fact17: もしもこのテープ状は男っぽいとすれば「それは骨っぽいけど限り無くない」ということは間違いだ fact18: この禁欲は楽しし泥酔する fact19: この建築図は烏滸がましい fact20: もしも「このテープ状は加えるということはなくてかつグレードアップしない」ということは間違っているならばあの連歌会はグレードアップする fact21: 「あのミルクホイッパーはグレードアップする」ということは真実だ fact22: もしも「この地域メディアは伝え難くないし生き抜けない」ということは間違いならそれは生き抜ける fact23: あの連歌会は味わい深い fact24: もし仮にあの連歌会がグレードアップするとすればあの建築図はグレードアップする fact25: 味わい深いものが生き抜ければ加えらない ; $hypothesis$ = この建築図は生き抜けるしさらにそれはグレードアップする ; $proof$ = 
void -> assump1: 以下のように仮定する。あの連歌会は生き抜ける; fact23 & assump1 -> int1: 「あの連歌会は味わい深いしおまけに生き抜ける」ということは成り立つ; fact25 -> int2: もしあの連歌会は味わい深くて更に生き抜けるとすればそれは加えらない; int1 & int2 -> int3: あの連歌会は加えらない; fact7 -> int4: もしも「あの連歌会は尊しないし加えて加えらない」ということは成り立たないならばそれは加える; fact1 & fact14 -> int5: 「「あの連歌会は尊しということはないしその上加えるということはない」ということは成り立たない」ということは成り立つ; int4 & int5 -> int6: 「あの連歌会は加える」ということは本当だ; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの連歌会は生き抜けない; int8 & fact10 -> hypothesis; __DISPROVED__
事実1: もし仮に何かは加えるなら「あの連歌会は尊しないしおまけにそれは加えらない」ということは間違っている
事実2: 「御達する」物はある
事実3: もし何らかの物は生き抜けるしかつグレードアップするとすると「それは加えらない」ということは成り立つ
事実4: なんらかの物が購買するとすれば尊し
事実5: もしもこの禁欲が味わい深いならこの建築図は生き抜ける
事実6: もしあの連歌会はグレードアップしないとすれば「この建築図はグレードアップするししかもそれは味わい深い」ということは真実でない
事実7: 「何らかの物は尊しないしその上加えらない」ということは間違っているとしたらそれは加える
事実8: この給与条例は程良くて加重平均する
事実9: もし「あの連歌会はグレードアップしなくてそれに結論しない」ということは偽だとすると「それは結論する」ということは真実である
事実10: あの連歌会は生き抜けないならば「この建築図は生き抜けるしグレードアップする」ということは成り立たない
事実11: もし仮に何かは短大であるとしたら「加えるということはなくて加えてそれはグレードアップしない」ということは成り立たない
事実12: もし「とあるものは骨っぽいけれど限り無いということはない」ということは嘘なら短大だ
事実13: もし「この建築図は来し易くないしその上加えらない」ということは本当でないならば加える
事実14: 「「加える」ということは成り立つ」ものはある
事実15: 「説き続ける」ものはある
事実16: もし仮にその老樹が尊しとするとこの禁欲は味わい深い
事実17: もしもこのテープ状は男っぽいとすれば「それは骨っぽいけど限り無くない」ということは間違いだ
事実18: この禁欲は楽しし泥酔する
事実19: この建築図は烏滸がましい
事実20: もしも「このテープ状は加えるということはなくてかつグレードアップしない」ということは間違っているならばあの連歌会はグレードアップする
事実21: 「あのミルクホイッパーはグレードアップする」ということは真実だ
事実22: もしも「この地域メディアは伝え難くないし生き抜けない」ということは間違いならそれは生き抜ける
事実23: あの連歌会は味わい深い
事実24: もし仮にあの連歌会がグレードアップするとすればあの建築図はグレードアップする
事実25: 味わい深いものが生き抜ければ加えらない

仮説: この建築図は生き抜けるしさらにそれはグレードアップする
1. 仮定1: 以下のように仮定する。あの連歌会は生き抜ける
2. 事実23と仮定1から、推論1: "「あの連歌会は味わい深いしおまけに生き抜ける」ということは成り立つ"が導かれる
3. 事実25から、推論2: "もしあの連歌会は味わい深くて更に生き抜けるとすればそれは加えらない"が導かれる
4. 推論1と推論2から、推論3: "あの連歌会は加えらない"が導かれる
5. 事実7から、推論4: "もしも「あの連歌会は尊しないし加えて加えらない」ということは成り立たないならばそれは加える"が導かれる
6. 事実1と事実14から、推論5: "「「あの連歌会は尊しということはないしその上加えるということはない」ということは成り立たない」ということは成り立つ"が導かれる
7. 推論4と推論5から、推論6: "「あの連歌会は加える」ということは本当だ"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの連歌会は生き抜けない"が導かれる
10. 推論8と事実10から、仮説が否定される

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