この精神状況は長し
fact1: もし仮にある物は経営基盤でないならば直り難くて更に嬉し過ぎる fact2: もしこの二国間協定が恨めしくて衆生済度だとするとそのチトクロムＣは恨めしくない fact3: 「そのチトクロムＣは寒冷地である一方で懐かしいということはない」ということは本当でない fact4: 仮に「その厳禁は物真似する」ということは成り立つとすると「それは経営基盤でない」ということは成り立つ fact5: その丸玉屋は蒸気船だということはない fact6: その厳禁は物真似する fact7: もしこの二国間協定が蒸気船であるということはないならそのチトクロムＣは懐かしくない fact8: 「「移行しない」ということは確かである」ものはある fact9: 「「瑞々しいしかつ直り難い」ということは誤りである」物はある fact10: 仮に「この食糧援助は十六種類である」ということは真実だとすれば「この二国間協定は十六種類でない」ということは成り立つ fact11: そのチトクロムＣは懐かしくないとすると「そのアイデンティフィケーションは十六種類でそれは衆生済度だ」ということは事実でない fact12: 仮にそのアイデンティフィケーションが恨めしくないとしたらそのチトクロムＣは衆生済度であるということはない fact13: 仮になんらかのものは衆生済度でないならそれは瑞々しいかもしくは恨めしくない fact14: その厳禁が直り難いならその丸玉屋は懐かしくないけれど寒冷地である fact15: そのアイデンティフィケーションが長しない一方で瑞々しいならばあの精神状況は長し fact16: もし「「瑞々しいしまた直り難い」ということは成り立たない」ものがあるとするとそのアイデンティフィケーションは瑞々しいということはない fact17: もし仮にそのアイデンティフィケーションが恨めしいとするとそれは瑞々しい fact18: 仮に「「なにかは十六種類であるし加えて衆生済度である」ということは成り立つ」ということは間違いであるとすると衆生済度でない fact19: 仮に「とある物は衆生済度であるということはないけど十六種類である」ということは事実であるならば「この精神状況は長しない」ということは事実である fact20: 「恨めしくなくて瑞々しい」ものはある fact21: もし仮にこの食糧援助は寒冷地であるかもしくは直り難くないならば「この二国間協定は蒸気船でない」ということは成り立つ fact22: 懐かしいものは十六種類だ fact23: 仮に「なんらかの物は寒冷地だけれど懐かしいということはない」ということは成り立たないなら懐かしい fact24: もしもその丸玉屋が蒸気船でないしかつ懐かしくないならこの食糧援助は十六種類である
void -> assump1: 以下のように仮定する。そのアイデンティフィケーションは恨めしい; fact17 & assump1 -> int1: そのアイデンティフィケーションは瑞々しい; fact9 & fact16 -> int2: そのアイデンティフィケーションは瑞々しくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのアイデンティフィケーションは恨めしくない; int4 & fact12 -> int5: そのチトクロムＣは衆生済度でない; fact22 -> int6: もし仮にそのチトクロムＣが懐かしいとすればそれは十六種類である; fact23 -> int7: 「そのチトクロムＣは寒冷地だ一方で懐かしくない」ということは成り立つということはないなら懐かしい; int7 & fact3 -> int8: そのチトクロムＣは懐かしい; int6 & int8 -> int9: そのチトクロムＣは十六種類だ; int5 & int9 -> int10: そのチトクロムＣは衆生済度だということはないけど十六種類である; int10 -> int11: 「「衆生済度だということはないし十六種類だ」ということは真実である」ものはある; int11 & fact19 -> hypothesis;
この精神状況は長し
fact28 -> int12: もし仮にそのアイデンティフィケーションが衆生済度でないとしたらそれは瑞々しいかもしくはそれは恨めしいということはない; fact27 -> int13: もし仮に「そのアイデンティフィケーションは十六種類であるし衆生済度だ」ということは成り立たないとすれば衆生済度でない;
$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: もしもその丸玉屋が蒸気船でないしかつ懐かしくないならこの食糧援助は十六種類である ; $hypothesis$ = この精神状況は長し ; $proof$ = 
void -> assump1: 以下のように仮定する。そのアイデンティフィケーションは恨めしい; fact17 & assump1 -> int1: そのアイデンティフィケーションは瑞々しい; fact9 & fact16 -> int2: そのアイデンティフィケーションは瑞々しくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのアイデンティフィケーションは恨めしくない; int4 & fact12 -> int5: そのチトクロムＣは衆生済度でない; fact22 -> int6: もし仮にそのチトクロムＣが懐かしいとすればそれは十六種類である; fact23 -> int7: 「そのチトクロムＣは寒冷地だ一方で懐かしくない」ということは成り立つということはないなら懐かしい; int7 & fact3 -> int8: そのチトクロムＣは懐かしい; int6 & int8 -> int9: そのチトクロムＣは十六種類だ; int5 & int9 -> int10: そのチトクロムＣは衆生済度だということはないけど十六種類である; int10 -> int11: 「「衆生済度だということはないし十六種類だ」ということは真実である」ものはある; int11 & fact19 -> 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: もしもその丸玉屋が蒸気船でないしかつ懐かしくないならこの食糧援助は十六種類である

仮説: この精神状況は長し
1. 仮定1: 以下のように仮定する。そのアイデンティフィケーションは恨めしい
2. 事実17と仮定1から、推論1: "そのアイデンティフィケーションは瑞々しい"が導かれる
3. 事実9と事実16から、推論2: "そのアイデンティフィケーションは瑞々しくない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "そのアイデンティフィケーションは恨めしくない"が導かれる
6. 推論4と事実12から、推論5: "そのチトクロムＣは衆生済度でない"が導かれる
7. 事実22から、推論6: "もし仮にそのチトクロムＣが懐かしいとすればそれは十六種類である"が導かれる
8. 事実23から、推論7: "「そのチトクロムＣは寒冷地だ一方で懐かしくない」ということは成り立つということはないなら懐かしい"が導かれる
9. 推論7と事実3から、推論8: "そのチトクロムＣは懐かしい"が導かれる
10. 推論6と推論8から、推論9: "そのチトクロムＣは十六種類だ"が導かれる
11. 推論5と推論9から、推論10: "そのチトクロムＣは衆生済度だということはないけど十六種類である"が導かれる
12. 推論10から、推論11: "「「衆生済度だということはないし十六種類だ」ということは真実である」ものはある"が導かれる
13. 推論11と事実19から、仮説が否定される

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