この斜面一帯は卑しいということはなくてしかも気張らない
fact1: この斜面一帯は禍々しかなくて寄せ合わない fact2: 「「「気張らないしかつ御恥ずかしい」ということは正しくない」物はある」ということは成り立つとしたらあの休は迎うということはない fact3: もしその告げが整合するならこの斜面一帯は整合する fact4: 仮にある物が気張るしかつ卑しいならそれは迎うない fact5: 「この斜面一帯は意地悪いしかつ気張る」ということは成り立たない fact6: 「あの休は気恥ずかしいということはない一方で御恥ずかしい」ということは間違っている fact7: もし仮に何かは防寒着であるとすれば「それが押し付けはましくらないし更に整合しない」ということは間違いだ fact8: 「あの休は迎うということはない一方でそれは御恥ずかしい」ということは誤っている fact9: 「あの休は卑しくないがしかし阿片貿易である」ということは間違いだ fact10: もし仮に「とあるものは押し付けがましいということはなくてしかも整合しない」ということは成り立つということはないなら整合する fact11: もし「「迎うないけど御恥ずかしい」ということは成り立たない」ものがあるとすればこの斜面一帯は卑しくない fact12: もしもこの知覚催眠が定着し始めるけど防寒着でないとするとその告げは防寒着だ fact13: なんらかのものが迎うとしたらこの斜面一帯は卑しくない fact14: 「「迎うししかも御恥ずかしい」ということは誤りな」物はある fact15: 「あの休は迎うし御恥ずかしい」ということは誤っている fact16: 仮に何かは整合すれば意地悪い fact17: もし何らかの物は意地悪いなら「それは卑しいということはないしさらに気張らない」ということは成り立たない fact18: もし仮に「この斜面一帯は意地悪いしそれに気張る」ということは成り立たないとしたらそれは気張らない fact19: 何かは迎うない一方で御恥ずかしい
fact8 -> int1: 「「迎うないが御恥ずかしい」ということは成り立つということはない」ものはある; int1 & fact11 -> int2: この斜面一帯は卑しいということはない; fact5 & fact18 -> int3: この斜面一帯は気張らない; int2 & int3 -> hypothesis;
「この斜面一帯は卑しくないしおまけに気張らない」ということは誤りである
fact25 -> int4: 仮にこの斜面一帯は意地悪いとすれば「それは卑しくないしおまけにそれは気張らない」ということは偽だ; fact21 -> int5: 仮にこの斜面一帯が整合するとしたらそれは意地悪い; fact24 -> int6: 「その告げが押し付けはましくらなくて整合するということはない」ということは成り立たないとすると整合する; fact20 -> int7: もしその告げは防寒着であるなら「それが押し付けはましくらなくてかつ整合しない」ということは成り立たない;
$facts$ = fact1: この斜面一帯は禍々しかなくて寄せ合わない fact2: 「「「気張らないしかつ御恥ずかしい」ということは正しくない」物はある」ということは成り立つとしたらあの休は迎うということはない fact3: もしその告げが整合するならこの斜面一帯は整合する fact4: 仮にある物が気張るしかつ卑しいならそれは迎うない fact5: 「この斜面一帯は意地悪いしかつ気張る」ということは成り立たない fact6: 「あの休は気恥ずかしいということはない一方で御恥ずかしい」ということは間違っている fact7: もし仮に何かは防寒着であるとすれば「それが押し付けはましくらないし更に整合しない」ということは間違いだ fact8: 「あの休は迎うということはない一方でそれは御恥ずかしい」ということは誤っている fact9: 「あの休は卑しくないがしかし阿片貿易である」ということは間違いだ fact10: もし仮に「とあるものは押し付けがましいということはなくてしかも整合しない」ということは成り立つということはないなら整合する fact11: もし「「迎うないけど御恥ずかしい」ということは成り立たない」ものがあるとすればこの斜面一帯は卑しくない fact12: もしもこの知覚催眠が定着し始めるけど防寒着でないとするとその告げは防寒着だ fact13: なんらかのものが迎うとしたらこの斜面一帯は卑しくない fact14: 「「迎うししかも御恥ずかしい」ということは誤りな」物はある fact15: 「あの休は迎うし御恥ずかしい」ということは誤っている fact16: 仮に何かは整合すれば意地悪い fact17: もし何らかの物は意地悪いなら「それは卑しいということはないしさらに気張らない」ということは成り立たない fact18: もし仮に「この斜面一帯は意地悪いしそれに気張る」ということは成り立たないとしたらそれは気張らない fact19: 何かは迎うない一方で御恥ずかしい ; $hypothesis$ = この斜面一帯は卑しいということはなくてしかも気張らない ; $proof$ = 
fact8 -> int1: 「「迎うないが御恥ずかしい」ということは成り立つということはない」ものはある; int1 & fact11 -> int2: この斜面一帯は卑しいということはない; fact5 & fact18 -> int3: この斜面一帯は気張らない; int2 & int3 -> hypothesis; __PROVED__
事実1: この斜面一帯は禍々しかなくて寄せ合わない
事実2: 「「「気張らないしかつ御恥ずかしい」ということは正しくない」物はある」ということは成り立つとしたらあの休は迎うということはない
事実3: もしその告げが整合するならこの斜面一帯は整合する
事実4: 仮にある物が気張るしかつ卑しいならそれは迎うない
事実5: 「この斜面一帯は意地悪いしかつ気張る」ということは成り立たない
事実6: 「あの休は気恥ずかしいということはない一方で御恥ずかしい」ということは間違っている
事実7: もし仮に何かは防寒着であるとすれば「それが押し付けはましくらないし更に整合しない」ということは間違いだ
事実8: 「あの休は迎うということはない一方でそれは御恥ずかしい」ということは誤っている
事実9: 「あの休は卑しくないがしかし阿片貿易である」ということは間違いだ
事実10: もし仮に「とあるものは押し付けがましいということはなくてしかも整合しない」ということは成り立つということはないなら整合する
事実11: もし「「迎うないけど御恥ずかしい」ということは成り立たない」ものがあるとすればこの斜面一帯は卑しくない
事実12: もしもこの知覚催眠が定着し始めるけど防寒着でないとするとその告げは防寒着だ
事実13: なんらかのものが迎うとしたらこの斜面一帯は卑しくない
事実14: 「「迎うししかも御恥ずかしい」ということは誤りな」物はある
事実15: 「あの休は迎うし御恥ずかしい」ということは誤っている
事実16: 仮に何かは整合すれば意地悪い
事実17: もし何らかの物は意地悪いなら「それは卑しいということはないしさらに気張らない」ということは成り立たない
事実18: もし仮に「この斜面一帯は意地悪いしそれに気張る」ということは成り立たないとしたらそれは気張らない
事実19: 何かは迎うない一方で御恥ずかしい

仮説: この斜面一帯は卑しいということはなくてしかも気張らない
1. 事実8から、推論1: "「「迎うないが御恥ずかしい」ということは成り立つということはない」ものはある"が導かれる
2. 推論1と事実11から、推論2: "この斜面一帯は卑しいということはない"が導かれる
3. 事実5と事実18から、推論3: "この斜面一帯は気張らない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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