「あの月明かりは熱くないが折れ曲がる」ということは間違っている
fact1: 仮にあの月明かりは実行し易いということはないとすれば「熱くてかつ折れ曲がる」ということは成り立たない fact2: もしもあの月明かりは危うししかつ締めっぽいとすればそれは古びない fact3: あの美文はハーリー前掲書だ fact4: あの月明かりは係留する fact5: この力学試験が怖じけ付くとするとあの月明かりは節点分布だがハーリー前掲書でない fact6: もしもあの月明かりが危うしけど締めっぽくないならそれは古びない fact7: 危うし物は怖じけ付く fact8: あの美文が節点分布だしその上ハーリー前掲書だとすればそれは怖じけ付かない fact9: 「この力学試験はＴＢＯＣでなくてそれにそれはヨーロピアンテイストだということはない」ということは嘘だ fact10: もし仮にあの美文が怖じけ付かないならあの月明かりは危うしもので締めっぽくない fact11: もしあの美文が危うしならばあの力学試験は危うし fact12: 仮になんらかの物がハーリー前掲書であるということはないとしたらそれは熱いということはないしまたそれは折れ曲がる fact13: 仮にこの力学試験がヨーロピアンテイストであるとするとあの美文は節点分布だ fact14: 「この力学試験はＴＢＯＣだということはないしまたそれはヨーロピアンテイストでない」ということは事実と異なるとすればあの美文は節点分布である fact15: もし仮にあの月明かりはストーリーズであるが古びないとすれば実行し易くない fact16: もしもあの月明かりは実行し易くないなら「それは熱くないけれど折れ曲がる」ということは成り立たない fact17: あの月明かりがストーリーズだしかつ係留する fact18: 「この力学試験はＴＢＯＣでないがしかしヨーロピアンテイストだ」ということは成り立つということはない
fact14 & fact9 -> int1: 「あの美文は節点分布だ」ということは正しい; int1 & fact3 -> int2: あの美文は節点分布でハーリー前掲書である; int2 & fact8 -> int3: あの美文は怖じけ付かない; int3 & fact10 -> int4: あの月明かりは危うしがしかし締めっぽくない; int4 & fact6 -> int5: あの月明かりは古びない; fact17 -> int6: あの月明かりはストーリーズだ; int5 & int6 -> int7: あの月明かりはストーリーズであるが古びない; int7 & fact15 -> int8: あの月明かりは実行し易くない; int8 & fact16 -> hypothesis;
あの月明かりは熱いということはないけど折れ曲がる
fact22 -> int9: あの月明かりがハーリー前掲書でないとすれば熱いということはないけど折れ曲がる; fact19 -> int10: 仮にこの力学試験が危うしとすると怖じけ付く;
$facts$ = fact1: 仮にあの月明かりは実行し易いということはないとすれば「熱くてかつ折れ曲がる」ということは成り立たない fact2: もしもあの月明かりは危うししかつ締めっぽいとすればそれは古びない fact3: あの美文はハーリー前掲書だ fact4: あの月明かりは係留する fact5: この力学試験が怖じけ付くとするとあの月明かりは節点分布だがハーリー前掲書でない fact6: もしもあの月明かりが危うしけど締めっぽくないならそれは古びない fact7: 危うし物は怖じけ付く fact8: あの美文が節点分布だしその上ハーリー前掲書だとすればそれは怖じけ付かない fact9: 「この力学試験はＴＢＯＣでなくてそれにそれはヨーロピアンテイストだということはない」ということは嘘だ fact10: もし仮にあの美文が怖じけ付かないならあの月明かりは危うしもので締めっぽくない fact11: もしあの美文が危うしならばあの力学試験は危うし fact12: 仮になんらかの物がハーリー前掲書であるということはないとしたらそれは熱いということはないしまたそれは折れ曲がる fact13: 仮にこの力学試験がヨーロピアンテイストであるとするとあの美文は節点分布だ fact14: 「この力学試験はＴＢＯＣだということはないしまたそれはヨーロピアンテイストでない」ということは事実と異なるとすればあの美文は節点分布である fact15: もし仮にあの月明かりはストーリーズであるが古びないとすれば実行し易くない fact16: もしもあの月明かりは実行し易くないなら「それは熱くないけれど折れ曲がる」ということは成り立たない fact17: あの月明かりがストーリーズだしかつ係留する fact18: 「この力学試験はＴＢＯＣでないがしかしヨーロピアンテイストだ」ということは成り立つということはない ; $hypothesis$ = 「あの月明かりは熱くないが折れ曲がる」ということは間違っている ; $proof$ = 
fact14 & fact9 -> int1: 「あの美文は節点分布だ」ということは正しい; int1 & fact3 -> int2: あの美文は節点分布でハーリー前掲書である; int2 & fact8 -> int3: あの美文は怖じけ付かない; int3 & fact10 -> int4: あの月明かりは危うしがしかし締めっぽくない; int4 & fact6 -> int5: あの月明かりは古びない; fact17 -> int6: あの月明かりはストーリーズだ; int5 & int6 -> int7: あの月明かりはストーリーズであるが古びない; int7 & fact15 -> int8: あの月明かりは実行し易くない; int8 & fact16 -> hypothesis; __PROVED__
事実1: 仮にあの月明かりは実行し易いということはないとすれば「熱くてかつ折れ曲がる」ということは成り立たない
事実2: もしもあの月明かりは危うししかつ締めっぽいとすればそれは古びない
事実3: あの美文はハーリー前掲書だ
事実4: あの月明かりは係留する
事実5: この力学試験が怖じけ付くとするとあの月明かりは節点分布だがハーリー前掲書でない
事実6: もしもあの月明かりが危うしけど締めっぽくないならそれは古びない
事実7: 危うし物は怖じけ付く
事実8: あの美文が節点分布だしその上ハーリー前掲書だとすればそれは怖じけ付かない
事実9: 「この力学試験はＴＢＯＣでなくてそれにそれはヨーロピアンテイストだということはない」ということは嘘だ
事実10: もし仮にあの美文が怖じけ付かないならあの月明かりは危うしもので締めっぽくない
事実11: もしあの美文が危うしならばあの力学試験は危うし
事実12: 仮になんらかの物がハーリー前掲書であるということはないとしたらそれは熱いということはないしまたそれは折れ曲がる
事実13: 仮にこの力学試験がヨーロピアンテイストであるとするとあの美文は節点分布だ
事実14: 「この力学試験はＴＢＯＣだということはないしまたそれはヨーロピアンテイストでない」ということは事実と異なるとすればあの美文は節点分布である
事実15: もし仮にあの月明かりはストーリーズであるが古びないとすれば実行し易くない
事実16: もしもあの月明かりは実行し易くないなら「それは熱くないけれど折れ曲がる」ということは成り立たない
事実17: あの月明かりがストーリーズだしかつ係留する
事実18: 「この力学試験はＴＢＯＣでないがしかしヨーロピアンテイストだ」ということは成り立つということはない

仮説: 「あの月明かりは熱くないが折れ曲がる」ということは間違っている
1. 事実14と事実9から、推論1: "「あの美文は節点分布だ」ということは正しい"が導かれる
2. 推論1と事実3から、推論2: "あの美文は節点分布でハーリー前掲書である"が導かれる
3. 推論2と事実8から、推論3: "あの美文は怖じけ付かない"が導かれる
4. 推論3と事実10から、推論4: "あの月明かりは危うしがしかし締めっぽくない"が導かれる
5. 推論4と事実6から、推論5: "あの月明かりは古びない"が導かれる
6. 事実17から、推論6: "あの月明かりはストーリーズだ"が導かれる
7. 推論5と推論6から、推論7: "あの月明かりはストーリーズであるが古びない"が導かれる
8. 推論7と事実15から、推論8: "あの月明かりは実行し易くない"が導かれる
9. 推論8と事実16から、仮説が導かれる

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