「この調査環境は傾き易くないがしかし捧げる」ということは成り立たない
fact1: 仮にあるものが熟睡しないならそれは傾き易くないが捧げる fact2: 「この調査環境は循環動態であるししかもそれは熟睡する」ということは成り立たない fact3: 「この調査環境は復帰しないがしかし熟睡する」ということは偽だ fact4: この調査環境が熟睡するとすると捕まえ易い fact5: もし仮に「「熟睡する」ということは事実な」物があるならばあの調査環境は山頂でないか捕まえ易くないか両方ともだ fact6: あの環境ラベルは問題解決方法だ fact7: 問題解決方法は各乗員組合だけれど白黒付けない fact8: 敵中深いものは打ち欠かなくてそれに柔らか過ぎない fact9: 「その荒らしは熟睡する」ということは成り立つ fact10: 「この調査環境は熟睡する」ということは成り立つ fact11: 仮にこの調査環境が傾き易いしそれは捧げるなら「捕まえ易くない」ということは事実だ fact12: 仮になにがしかのものが打ち欠かなくてそれは柔らか過ぎないとすると熟睡する fact13: この調査環境は山頂だということはないとすると「この大喧嘩は捕まえ易くない」ということは真実である fact14: もしも「あるものは各乗員組合である」ということは本当であるとしたらそれは敵中深い fact15: この調査環境は傾き易くない fact16: もしもこの調査環境は傾き易くない一方で捧げれば「それは捕まえ易くない」ということは本当だ fact17: もし「あるものは熟睡するがそれは山頂でない」ということは誤っているとすれば熟睡するということはない
void -> assump1: 以下のように仮定する。この調査環境は傾き易くないがそれは捧げる; fact16 & assump1 -> int1: この調査環境は捕まえ易くない; fact10 & fact4 -> int2: この調査環境は捕まえ易い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: (¬{AA}{a} & {AB}{a}); fact16 & assump1 -> int1: ¬{B}{a}; fact10 & fact4 -> int2: {B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
この大喧嘩は捕まえ易くない
fact24 -> int4: あの環境ラベルが打ち欠かないし加えて柔らか過ぎないならば熟睡する; fact23 -> int5: 仮にあの環境ラベルは敵中深いなら「それは打ち欠かないししかも柔らか過ぎない」ということは誤りでない; fact19 -> int6: 仮に「あの環境ラベルは各乗員組合である」ということは本当だとしたらそれは敵中深い; fact20 -> int7: あの環境ラベルが問題解決方法ならばそれは各乗員組合だけれど白黒付けない; int7 & fact22 -> int8: あの環境ラベルは各乗員組合であるがそれは白黒付けない; int8 -> int9: あの環境ラベルは各乗員組合である; int6 & int9 -> int10: 「あの環境ラベルは敵中深い」ということは成り立つ; int5 & int10 -> int11: あの環境ラベルは打ち欠かないしさらに柔らか過ぎるということはない; int4 & int11 -> int12: あの環境ラベルは熟睡する; int12 -> int13: 「「熟睡する」ということは正しい」物はある; int13 & fact18 -> int14: この調査環境は山頂でないかそれは捕まえ易いということはないかもしくはどちらもである;
$facts$ = fact1: 仮にあるものが熟睡しないならそれは傾き易くないが捧げる fact2: 「この調査環境は循環動態であるししかもそれは熟睡する」ということは成り立たない fact3: 「この調査環境は復帰しないがしかし熟睡する」ということは偽だ fact4: この調査環境が熟睡するとすると捕まえ易い fact5: もし仮に「「熟睡する」ということは事実な」物があるならばあの調査環境は山頂でないか捕まえ易くないか両方ともだ fact6: あの環境ラベルは問題解決方法だ fact7: 問題解決方法は各乗員組合だけれど白黒付けない fact8: 敵中深いものは打ち欠かなくてそれに柔らか過ぎない fact9: 「その荒らしは熟睡する」ということは成り立つ fact10: 「この調査環境は熟睡する」ということは成り立つ fact11: 仮にこの調査環境が傾き易いしそれは捧げるなら「捕まえ易くない」ということは事実だ fact12: 仮になにがしかのものが打ち欠かなくてそれは柔らか過ぎないとすると熟睡する fact13: この調査環境は山頂だということはないとすると「この大喧嘩は捕まえ易くない」ということは真実である fact14: もしも「あるものは各乗員組合である」ということは本当であるとしたらそれは敵中深い fact15: この調査環境は傾き易くない fact16: もしもこの調査環境は傾き易くない一方で捧げれば「それは捕まえ易くない」ということは本当だ fact17: もし「あるものは熟睡するがそれは山頂でない」ということは誤っているとすれば熟睡するということはない ; $hypothesis$ = 「この調査環境は傾き易くないがしかし捧げる」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この調査環境は傾き易くないがそれは捧げる; fact16 & assump1 -> int1: この調査環境は捕まえ易くない; fact10 & fact4 -> int2: この調査環境は捕まえ易い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮にあるものが熟睡しないならそれは傾き易くないが捧げる
事実2: 「この調査環境は循環動態であるししかもそれは熟睡する」ということは成り立たない
事実3: 「この調査環境は復帰しないがしかし熟睡する」ということは偽だ
事実4: この調査環境が熟睡するとすると捕まえ易い
事実5: もし仮に「「熟睡する」ということは事実な」物があるならばあの調査環境は山頂でないか捕まえ易くないか両方ともだ
事実6: あの環境ラベルは問題解決方法だ
事実7: 問題解決方法は各乗員組合だけれど白黒付けない
事実8: 敵中深いものは打ち欠かなくてそれに柔らか過ぎない
事実9: 「その荒らしは熟睡する」ということは成り立つ
事実10: 「この調査環境は熟睡する」ということは成り立つ
事実11: 仮にこの調査環境が傾き易いしそれは捧げるなら「捕まえ易くない」ということは事実だ
事実12: 仮になにがしかのものが打ち欠かなくてそれは柔らか過ぎないとすると熟睡する
事実13: この調査環境は山頂だということはないとすると「この大喧嘩は捕まえ易くない」ということは真実である
事実14: もしも「あるものは各乗員組合である」ということは本当であるとしたらそれは敵中深い
事実15: この調査環境は傾き易くない
事実16: もしもこの調査環境は傾き易くない一方で捧げれば「それは捕まえ易くない」ということは本当だ
事実17: もし「あるものは熟睡するがそれは山頂でない」ということは誤っているとすれば熟睡するということはない

仮説: 「この調査環境は傾き易くないがしかし捧げる」ということは成り立たない
1. 仮定1: 以下のように仮定する。この調査環境は傾き易くないがそれは捧げる
2. 事実16と仮定1から、推論1: "この調査環境は捕まえ易くない"が導かれる
3. 事実10と事実4から、推論2: "この調査環境は捕まえ易い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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