「このラジコンシステムは掛け易くなくて毎期でない」ということは誤っている
fact1: もしこのラジコンシステムは疑り深いということはないとしたら「掛け易い一方で毎期でない」ということは成り立たない fact2: もし仮にこのラジコンシステムは疑り深いけれど人間臭くないとすれば毎期でない fact3: 仮にこの十七世紀末ははらはらしないとしたら「その低分化型は切れ易いということはないけど広げる」ということは間違いだ fact4: あの髄質動脈は軟体動物である fact5: もし仮にこのラジコンシステムが受け入れ難いとすればそれはどでかくない fact6: このラジコンシステムがどでかくないとしたらそれは疑り深くて加えて人間臭いということはない fact7: 「あのビバークサイトは厚着で加えて廃業する」ということは誤りだ fact8: もし仮に「とある物は後ろ暗いしかつ厚着だ」ということは成り立たないとするとそれは厚着でない fact9: もし仮になにかは配置出来ないとすれば「それは後ろ暗くておまけに厚着である」ということは嘘である fact10: もしこのラジコンシステムは疑り深いということはないとすれば「掛け易くない一方で毎期である」ということは成り立たない fact11: 仮に何かは疑り深くないとすると「それは掛け易くなくておまけに毎期でない」ということは間違っている fact12: もしあのビバークサイトが広げないとすればあの髄質動脈は配置出来ない fact13: もしもなんらかの物は疑り深くないとすると「それは掛け易いということはない一方で毎期である」ということは成り立たない fact14: もし「なんらかのものは疑り深くない」ということは正しいとすれば「それは掛け易くてそれは毎期でない」ということは間違いだ fact15: もし仮にあのビバークサイトが厚着だとしたらこのラジコンシステムは疑り深くない fact16: あの髄質動脈は廃業するとすれば「あのビバークサイトは厚着であるしさらに廃業する」ということは誤りだ fact17: あの髄質動脈は廃業するし軟体動物である fact18: あの髄質動脈は廃業するとしたら「あのビバークサイトは厚着であるということはない一方で廃業する」ということは成り立たない fact19: 「このラジコンシステムは掛け易くないけどそれは毎期だ」ということは誤りだ fact20: 「このラジコンシステムは掛け易いがしかし毎期でない」ということは正しくない fact21: 仮に「とあるものは廃業しないしそれに軟体動物でない」ということは偽ならそれは掛け易くない fact22: もし仮に「その低分化型は切れ易いということはないがしかし広げる」ということは偽であるならあのビバークサイトは広げない fact23: もし「あのビバークサイトは厚着だということはないがしかし廃業する」ということは誤りならこのラジコンシステムは疑り深くない fact24: この十七世紀末ははらはらしない
fact17 -> int1: 「あの髄質動脈は廃業する」ということは事実だ; int1 & fact18 -> int2: 「あのビバークサイトは厚着でないがしかし廃業する」ということは間違いだ; int2 & fact23 -> int3: このラジコンシステムは疑り深くない; fact11 -> int4: 「もし仮にこのラジコンシステムは疑り深くないとしたら「このラジコンシステムは掛け易くなくて毎期でない」ということは嘘である」ということは本当だ; int3 & int4 -> hypothesis;
このラジコンシステムは掛け易くなくて毎期だということはない
fact34 -> int5: もしも「このラジコンシステムは廃業しないしまた軟体動物でない」ということは誤りであるなら掛け易くない; fact27 -> int6: もし「あの髄質動脈は後ろ暗いししかも厚着だ」ということは嘘だとすると厚着でない; fact28 -> int7: もしあの髄質動脈は配置出来ないならば「それは後ろ暗いしおまけにそれは厚着である」ということは成り立たない; fact25 & fact30 -> int8: 「その低分化型は切れ易いということはないがしかし広げる」ということは成り立たない; fact32 & int8 -> int9: あのビバークサイトは広げるということはない; fact33 & int9 -> int10: あの髄質動脈は配置出来ない; int7 & int10 -> int11: 「あの髄質動脈は後ろ暗くて厚着である」ということは偽だ; int6 & int11 -> int12: あの髄質動脈は厚着でない; int12 -> int13: 「厚着でない」物はある;
$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: この十七世紀末ははらはらしない ; $hypothesis$ = 「このラジコンシステムは掛け易くなくて毎期でない」ということは誤っている ; $proof$ = 
fact17 -> int1: 「あの髄質動脈は廃業する」ということは事実だ; int1 & fact18 -> int2: 「あのビバークサイトは厚着でないがしかし廃業する」ということは間違いだ; int2 & fact23 -> int3: このラジコンシステムは疑り深くない; fact11 -> int4: 「もし仮にこのラジコンシステムは疑り深くないとしたら「このラジコンシステムは掛け易くなくて毎期でない」ということは嘘である」ということは本当だ; int3 & int4 -> 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: この十七世紀末ははらはらしない

仮説: 「このラジコンシステムは掛け易くなくて毎期でない」ということは誤っている
1. 事実17から、推論1: "「あの髄質動脈は廃業する」ということは事実だ"が導かれる
2. 推論1と事実18から、推論2: "「あのビバークサイトは厚着でないがしかし廃業する」ということは間違いだ"が導かれる
3. 推論2と事実23から、推論3: "このラジコンシステムは疑り深くない"が導かれる
4. 事実11から、推論4: "「もし仮にこのラジコンシステムは疑り深くないとしたら「このラジコンシステムは掛け易くなくて毎期でない」ということは嘘である」ということは本当だ"が導かれる
5. 推論3と推論4から、仮説が導かれる

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