この記録内容は鴨緑江軍であるけどそれは気付き難くない
fact1: 仮になんらかのものが満腹するとするとそれは調査・研究する fact2: 仮になんらかのものが乱れ始めないが上昇し易いとしたら満腹する fact3: あらゆるものは若しないし加えて二級選挙制である fact4: シェパードは乱れ始めない一方で上昇し易い fact5: この鎌倉時代は調査・研究する fact6: もし「この遊技機は調査・研究する」ということは事実であるならこの鎌倉時代は影響され易い fact7: もしも「影響され易い」物があるとしたらこの記録内容は鴨緑江軍だ fact8: もしもこの遊技機は影響され易いなら「この鎌倉時代は乱れ始めるということはない」ということは事実と異なる fact9: もし仮になんらかの物が影響され易いとしたらこの記録内容は鴨緑江軍であるがしかし気付き難くない fact10: 「なにがしかの物はシェパードだがしかし酔い易くない」ということは偽であるとすれば鴨緑江軍でない fact11: 何もかもは酔い易くないしそれにシェパードである
fact11 -> int1: 「この遊技機は酔い易くないけどシェパードである」ということは成り立つ; int1 -> int2: この遊技機はシェパードだ; fact4 -> int3: もしこの遊技機がシェパードならばそれは乱れ始めないけれど上昇し易い; int2 & int3 -> int4: この遊技機は乱れ始めないがそれは上昇し易い; fact2 -> int5: この遊技機は乱れ始めないがしかし上昇し易いならそれは満腹する; int4 & int5 -> int6: 「この遊技機は満腹する」ということは事実である; fact1 -> int7: もしも「この遊技機は満腹する」ということは本当であるならば調査・研究する; int6 & int7 -> int8: この遊技機は調査・研究する; int8 & fact6 -> int9: 「この鎌倉時代は影響され易い」ということは真実だ; int9 -> int10: 「なにかは影響され易い」ということは成り立つ; int10 & fact9 -> hypothesis;
「この記録内容は鴨緑江軍だけれどそれは気付き難くない」ということは事実でない
fact12 -> int11: 「この鎌倉時代がシェパードだけどそれは酔い易くない」ということは偽ならば鴨緑江軍でない;
$facts$ = fact1: 仮になんらかのものが満腹するとするとそれは調査・研究する fact2: 仮になんらかのものが乱れ始めないが上昇し易いとしたら満腹する fact3: あらゆるものは若しないし加えて二級選挙制である fact4: シェパードは乱れ始めない一方で上昇し易い fact5: この鎌倉時代は調査・研究する fact6: もし「この遊技機は調査・研究する」ということは事実であるならこの鎌倉時代は影響され易い fact7: もしも「影響され易い」物があるとしたらこの記録内容は鴨緑江軍だ fact8: もしもこの遊技機は影響され易いなら「この鎌倉時代は乱れ始めるということはない」ということは事実と異なる fact9: もし仮になんらかの物が影響され易いとしたらこの記録内容は鴨緑江軍であるがしかし気付き難くない fact10: 「なにがしかの物はシェパードだがしかし酔い易くない」ということは偽であるとすれば鴨緑江軍でない fact11: 何もかもは酔い易くないしそれにシェパードである ; $hypothesis$ = この記録内容は鴨緑江軍であるけどそれは気付き難くない ; $proof$ = 
fact11 -> int1: 「この遊技機は酔い易くないけどシェパードである」ということは成り立つ; int1 -> int2: この遊技機はシェパードだ; fact4 -> int3: もしこの遊技機がシェパードならばそれは乱れ始めないけれど上昇し易い; int2 & int3 -> int4: この遊技機は乱れ始めないがそれは上昇し易い; fact2 -> int5: この遊技機は乱れ始めないがしかし上昇し易いならそれは満腹する; int4 & int5 -> int6: 「この遊技機は満腹する」ということは事実である; fact1 -> int7: もしも「この遊技機は満腹する」ということは本当であるならば調査・研究する; int6 & int7 -> int8: この遊技機は調査・研究する; int8 & fact6 -> int9: 「この鎌倉時代は影響され易い」ということは真実だ; int9 -> int10: 「なにかは影響され易い」ということは成り立つ; int10 & fact9 -> hypothesis; __PROVED__
事実1: 仮になんらかのものが満腹するとするとそれは調査・研究する
事実2: 仮になんらかのものが乱れ始めないが上昇し易いとしたら満腹する
事実3: あらゆるものは若しないし加えて二級選挙制である
事実4: シェパードは乱れ始めない一方で上昇し易い
事実5: この鎌倉時代は調査・研究する
事実6: もし「この遊技機は調査・研究する」ということは事実であるならこの鎌倉時代は影響され易い
事実7: もしも「影響され易い」物があるとしたらこの記録内容は鴨緑江軍だ
事実8: もしもこの遊技機は影響され易いなら「この鎌倉時代は乱れ始めるということはない」ということは事実と異なる
事実9: もし仮になんらかの物が影響され易いとしたらこの記録内容は鴨緑江軍であるがしかし気付き難くない
事実10: 「なにがしかの物はシェパードだがしかし酔い易くない」ということは偽であるとすれば鴨緑江軍でない
事実11: 何もかもは酔い易くないしそれにシェパードである

仮説: この記録内容は鴨緑江軍であるけどそれは気付き難くない
1. 事実11から、推論1: "「この遊技機は酔い易くないけどシェパードである」ということは成り立つ"が導かれる
2. 推論1から、推論2: "この遊技機はシェパードだ"が導かれる
3. 事実4から、推論3: "もしこの遊技機がシェパードならばそれは乱れ始めないけれど上昇し易い"が導かれる
4. 推論2と推論3から、推論4: "この遊技機は乱れ始めないがそれは上昇し易い"が導かれる
5. 事実2から、推論5: "この遊技機は乱れ始めないがしかし上昇し易いならそれは満腹する"が導かれる
6. 推論4と推論5から、推論6: "「この遊技機は満腹する」ということは事実である"が導かれる
7. 事実1から、推論7: "もしも「この遊技機は満腹する」ということは本当であるならば調査・研究する"が導かれる
8. 推論6と推論7から、推論8: "この遊技機は調査・研究する"が導かれる
9. 推論8と事実6から、推論9: "「この鎌倉時代は影響され易い」ということは真実だ"が導かれる
10. 推論9から、推論10: "「なにかは影響され易い」ということは成り立つ"が導かれる
11. 推論10と事実9から、仮説が導かれる

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