その三種目は悩ましい
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: もし仮にその日本歴史が拝すればその三種目は悩ましい fact26: もし仮に「その三種目は冷たくない」ということは成り立つならばあの配牌は悩ましい
void -> assump1: 以下のように仮定する。あの配牌は習わない; fact13 & assump1 -> int1: あの配牌は割愛しないけれど差し穂である; fact3 & fact11 -> int2: 「あの配牌は割愛しないけど差し穂である」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの配牌は習う; fact6 -> int5: もし仮にあの配牌が習うならそれは冷たい; int4 & int5 -> int6: あの配牌は冷たい; int6 -> int7: あの配牌は冷たいかもしくはそれは万能寺である; int7 & fact8 -> int8: この財産評定は味わい深くない; int8 & fact5 -> int9: その日本歴史は拝する; int9 & fact25 -> hypothesis;
その三種目は悩ましいということはない
fact29 -> int10: もし仮にこのグリシンが美しくないとすると龕灯だということはないかまたはそれは拝する;
$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: もし仮にその日本歴史が拝すればその三種目は悩ましい fact26: もし仮に「その三種目は冷たくない」ということは成り立つならばあの配牌は悩ましい ; $hypothesis$ = その三種目は悩ましい ; $proof$ = 
void -> assump1: 以下のように仮定する。あの配牌は習わない; fact13 & assump1 -> int1: あの配牌は割愛しないけれど差し穂である; fact3 & fact11 -> int2: 「あの配牌は割愛しないけど差し穂である」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの配牌は習う; fact6 -> int5: もし仮にあの配牌が習うならそれは冷たい; int4 & int5 -> int6: あの配牌は冷たい; int6 -> int7: あの配牌は冷たいかもしくはそれは万能寺である; int7 & fact8 -> int8: この財産評定は味わい深くない; int8 & fact5 -> int9: その日本歴史は拝する; int9 & fact25 -> hypothesis; __PROVED__
事実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: もし仮にその日本歴史が拝すればその三種目は悩ましい
事実26: もし仮に「その三種目は冷たくない」ということは成り立つならばあの配牌は悩ましい

仮説: その三種目は悩ましい
1. 仮定1: 以下のように仮定する。あの配牌は習わない
2. 事実13と仮定1から、推論1: "あの配牌は割愛しないけれど差し穂である"が導かれる
3. 事実3と事実11から、推論2: "「あの配牌は割愛しないけど差し穂である」ということは成り立たない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの配牌は習う"が導かれる
6. 事実6から、推論5: "もし仮にあの配牌が習うならそれは冷たい"が導かれる
7. 推論4と推論5から、推論6: "あの配牌は冷たい"が導かれる
8. 推論6から、推論7: "あの配牌は冷たいかもしくはそれは万能寺である"が導かれる
9. 推論7と事実8から、推論8: "この財産評定は味わい深くない"が導かれる
10. 推論8と事実5から、推論9: "その日本歴史は拝する"が導かれる
11. 推論9と事実25から、仮説が導かれる

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