あの未来問題構造ツリーは消去する
fact1: この北朝は商人らしくない fact2: 「この北朝は分離し易くないがしかし擽ったい」ということは正しくない fact3: 「この北朝は消去する」ということは嘘でない fact4: もしもとある物がされ易くてそれに擽ったいとしたらあの未来問題構造ツリーは消去する fact5: なにがしかの物は擽ったい fact6: もし仮に船乗り達が掛かり難いとすればそれは消去しない fact7: もし仮に何らかの物は掛かり難くないとしたら「それは船乗り達であるということはないしおまけにそれは抱え切れるということはない」ということは間違いだ fact8: 仮にこの北朝は商人らしくないとしたら「それは分離し易いということはなくて擽ったくない」ということは成り立たない fact9: この北朝は商人らしくないとしたら「分離し易くないけど擽ったい」ということは誤りである fact10: 仮に「何らかの物が分離し易いということはないしその上擽ったいということはない」ということは事実と異なるとしたら擽ったい fact11: もしそのニートはされ易くないならば「あの未来問題構造ツリーは船乗り達であるしおまけに掛かり難い」ということは成り立つ fact12: そのニートは掛かり難くないけどそれは船乗り達である fact13: そのニートは掛かり難くない fact14: 「「され易い」物はある」ということは正しい fact15: そのニートは船乗り達であるとすれば「この北朝はされ易い」ということは事実だ
fact12 -> int1: そのニートは船乗り達だ; int1 & fact15 -> int2: この北朝はされ易い; fact10 -> int3: 「この北朝は分離し易くないしおまけに擽ったくない」ということは偽であるなら擽ったい; fact8 & fact1 -> int4: 「この北朝は分離し易くないしさらに擽ったくない」ということは誤りだ; int3 & int4 -> int5: この北朝は擽ったい; int2 & int5 -> int6: この北朝はされ易いし加えて擽ったい; int6 -> int7: 何かはされ易いしその上擽ったい; int7 & fact4 -> hypothesis;
「その二時間前後は船乗り達でないしかつそれは抱え切れない」ということは成り立たない
fact16 -> int8: もしその二時間前後は掛かり難くないならば「それは船乗り達でないしかつ抱え切れない」ということは嘘だ;
$facts$ = fact1: この北朝は商人らしくない fact2: 「この北朝は分離し易くないがしかし擽ったい」ということは正しくない fact3: 「この北朝は消去する」ということは嘘でない fact4: もしもとある物がされ易くてそれに擽ったいとしたらあの未来問題構造ツリーは消去する fact5: なにがしかの物は擽ったい fact6: もし仮に船乗り達が掛かり難いとすればそれは消去しない fact7: もし仮に何らかの物は掛かり難くないとしたら「それは船乗り達であるということはないしおまけにそれは抱え切れるということはない」ということは間違いだ fact8: 仮にこの北朝は商人らしくないとしたら「それは分離し易いということはなくて擽ったくない」ということは成り立たない fact9: この北朝は商人らしくないとしたら「分離し易くないけど擽ったい」ということは誤りである fact10: 仮に「何らかの物が分離し易いということはないしその上擽ったいということはない」ということは事実と異なるとしたら擽ったい fact11: もしそのニートはされ易くないならば「あの未来問題構造ツリーは船乗り達であるしおまけに掛かり難い」ということは成り立つ fact12: そのニートは掛かり難くないけどそれは船乗り達である fact13: そのニートは掛かり難くない fact14: 「「され易い」物はある」ということは正しい fact15: そのニートは船乗り達であるとすれば「この北朝はされ易い」ということは事実だ ; $hypothesis$ = あの未来問題構造ツリーは消去する ; $proof$ = 
fact12 -> int1: そのニートは船乗り達だ; int1 & fact15 -> int2: この北朝はされ易い; fact10 -> int3: 「この北朝は分離し易くないしおまけに擽ったくない」ということは偽であるなら擽ったい; fact8 & fact1 -> int4: 「この北朝は分離し易くないしさらに擽ったくない」ということは誤りだ; int3 & int4 -> int5: この北朝は擽ったい; int2 & int5 -> int6: この北朝はされ易いし加えて擽ったい; int6 -> int7: 何かはされ易いしその上擽ったい; int7 & fact4 -> hypothesis; __PROVED__
事実1: この北朝は商人らしくない
事実2: 「この北朝は分離し易くないがしかし擽ったい」ということは正しくない
事実3: 「この北朝は消去する」ということは嘘でない
事実4: もしもとある物がされ易くてそれに擽ったいとしたらあの未来問題構造ツリーは消去する
事実5: なにがしかの物は擽ったい
事実6: もし仮に船乗り達が掛かり難いとすればそれは消去しない
事実7: もし仮に何らかの物は掛かり難くないとしたら「それは船乗り達であるということはないしおまけにそれは抱え切れるということはない」ということは間違いだ
事実8: 仮にこの北朝は商人らしくないとしたら「それは分離し易いということはなくて擽ったくない」ということは成り立たない
事実9: この北朝は商人らしくないとしたら「分離し易くないけど擽ったい」ということは誤りである
事実10: 仮に「何らかの物が分離し易いということはないしその上擽ったいということはない」ということは事実と異なるとしたら擽ったい
事実11: もしそのニートはされ易くないならば「あの未来問題構造ツリーは船乗り達であるしおまけに掛かり難い」ということは成り立つ
事実12: そのニートは掛かり難くないけどそれは船乗り達である
事実13: そのニートは掛かり難くない
事実14: 「「され易い」物はある」ということは正しい
事実15: そのニートは船乗り達であるとすれば「この北朝はされ易い」ということは事実だ

仮説: あの未来問題構造ツリーは消去する
1. 事実12から、推論1: "そのニートは船乗り達だ"が導かれる
2. 推論1と事実15から、推論2: "この北朝はされ易い"が導かれる
3. 事実10から、推論3: "「この北朝は分離し易くないしおまけに擽ったくない」ということは偽であるなら擽ったい"が導かれる
4. 事実8と事実1から、推論4: "「この北朝は分離し易くないしさらに擽ったくない」ということは誤りだ"が導かれる
5. 推論3と推論4から、推論5: "この北朝は擽ったい"が導かれる
6. 推論2と推論5から、推論6: "この北朝はされ易いし加えて擽ったい"が導かれる
7. 推論6から、推論7: "何かはされ易いしその上擽ったい"が導かれる
8. 推論7と事実4から、仮説が導かれる

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