その分割・統合はソ連側であるということはない
fact1: もしもあの学習プロセスが検閲するとするとそれはしぶとくないしそれに割譲しない fact2: もし三尊像は効果意思でないとしたらしぶとくない fact3: もし「あの若宮大路はしぶとくない」ということは確かだとすれば割譲する fact4: もしあの特定口座内は掃除し易いし検閲するなら「あの若宮大路は検閲する」ということは真実である fact5: あの若宮大路はＦＭラジオでないし近付き難くない fact6: もしもあの若宮大路はＦＭラジオであるが近付き難くないとすればそれは効果意思でない fact7: 仮にその．ネットが罹り易いならばあの若宮大路は三尊像である fact8: もしあの若宮大路はＦＭラジオでないけど近付き難いならばそれは効果意思でない fact9: 「「近付き難くないし検閲しない」ということは間違いである」ものがあるとしたらあの学習プロセスは検閲する fact10: その．ネットが軽ーいとしたらあの若宮大路は三尊像だ fact11: もし仮にあの特定口座内が掃除し易くないけど検閲するとしたらあの若宮大路は検閲する fact12: あの特定口座内は掃除し易くない fact13: もしあの特定口座内が効果意思であるしそれに検閲するとするとあの若宮大路は近付き難くない fact14: もしあの学習プロセスがしぶとくなくてそれが割譲しないならあの特定口座内はしぶとい fact15: もし仮にその．ネットが罹り易くないならばあの分割・統合はソ連側だ fact16: あの特定口座内は掃除し易くない一方で検閲する fact17: 「この対立抗争は近付き難くなくてまた検閲しない」ということは成り立たない fact18: もしもあの若宮大路がＦＭラジオでなくて近付き難くないとしたら効果意思でない fact19: もし仮にあの若宮大路が検閲するしその上割譲するとするとその分割・統合はソ連側でない fact20: その分割・統合は聞こえ難いということはない fact21: もしも何かは効果意思であるとしたら「三尊像でない一方で軽ーい」ということは成り立たない fact22: その．ネットは罹り易いかまたはそれは軽ーいか両方だ
fact22 & fact7 & fact10 -> int1: あの若宮大路は三尊像である; fact18 & fact5 -> int2: あの若宮大路は効果意思でない; int1 & int2 -> int3: あの若宮大路は三尊像だがしかしそれは効果意思でない; fact2 -> int4: あの若宮大路は三尊像であるがしかし効果意思でないならそれはしぶとくない; int3 & int4 -> int5: あの若宮大路はしぶとくない; int5 & fact3 -> int6: 「あの若宮大路は割譲する」ということは成り立つ; fact16 & fact11 -> int7: あの若宮大路は検閲する; int6 & int7 -> int8: あの若宮大路は検閲するし割譲する; int8 & fact19 -> hypothesis;
「その分割・統合はソ連側である」ということは事実だ
fact25 -> int9: 仮にあの若宮大路は効果意思であるとすると「三尊像でない一方で軽ーい」ということは嘘である; fact28 -> int10: 「「「近付き難くないし検閲しない」ということは本当である」ということは事実と異なる」ものはある; int10 & fact27 -> int11: あの学習プロセスは検閲する; fact24 & int11 -> int12: あの学習プロセスはしぶとくないしおまけに割譲しない; fact26 & int12 -> int13: あの特定口座内はしぶとい; int13 -> int14: 「しぶとい」物はある;
$facts$ = fact1: もしもあの学習プロセスが検閲するとするとそれはしぶとくないしそれに割譲しない fact2: もし三尊像は効果意思でないとしたらしぶとくない fact3: もし「あの若宮大路はしぶとくない」ということは確かだとすれば割譲する fact4: もしあの特定口座内は掃除し易いし検閲するなら「あの若宮大路は検閲する」ということは真実である fact5: あの若宮大路はＦＭラジオでないし近付き難くない fact6: もしもあの若宮大路はＦＭラジオであるが近付き難くないとすればそれは効果意思でない fact7: 仮にその．ネットが罹り易いならばあの若宮大路は三尊像である fact8: もしあの若宮大路はＦＭラジオでないけど近付き難いならばそれは効果意思でない fact9: 「「近付き難くないし検閲しない」ということは間違いである」ものがあるとしたらあの学習プロセスは検閲する fact10: その．ネットが軽ーいとしたらあの若宮大路は三尊像だ fact11: もし仮にあの特定口座内が掃除し易くないけど検閲するとしたらあの若宮大路は検閲する fact12: あの特定口座内は掃除し易くない fact13: もしあの特定口座内が効果意思であるしそれに検閲するとするとあの若宮大路は近付き難くない fact14: もしあの学習プロセスがしぶとくなくてそれが割譲しないならあの特定口座内はしぶとい fact15: もし仮にその．ネットが罹り易くないならばあの分割・統合はソ連側だ fact16: あの特定口座内は掃除し易くない一方で検閲する fact17: 「この対立抗争は近付き難くなくてまた検閲しない」ということは成り立たない fact18: もしもあの若宮大路がＦＭラジオでなくて近付き難くないとしたら効果意思でない fact19: もし仮にあの若宮大路が検閲するしその上割譲するとするとその分割・統合はソ連側でない fact20: その分割・統合は聞こえ難いということはない fact21: もしも何かは効果意思であるとしたら「三尊像でない一方で軽ーい」ということは成り立たない fact22: その．ネットは罹り易いかまたはそれは軽ーいか両方だ ; $hypothesis$ = その分割・統合はソ連側であるということはない ; $proof$ = 
fact22 & fact7 & fact10 -> int1: あの若宮大路は三尊像である; fact18 & fact5 -> int2: あの若宮大路は効果意思でない; int1 & int2 -> int3: あの若宮大路は三尊像だがしかしそれは効果意思でない; fact2 -> int4: あの若宮大路は三尊像であるがしかし効果意思でないならそれはしぶとくない; int3 & int4 -> int5: あの若宮大路はしぶとくない; int5 & fact3 -> int6: 「あの若宮大路は割譲する」ということは成り立つ; fact16 & fact11 -> int7: あの若宮大路は検閲する; int6 & int7 -> int8: あの若宮大路は検閲するし割譲する; int8 & fact19 -> hypothesis; __PROVED__
事実1: もしもあの学習プロセスが検閲するとするとそれはしぶとくないしそれに割譲しない
事実2: もし三尊像は効果意思でないとしたらしぶとくない
事実3: もし「あの若宮大路はしぶとくない」ということは確かだとすれば割譲する
事実4: もしあの特定口座内は掃除し易いし検閲するなら「あの若宮大路は検閲する」ということは真実である
事実5: あの若宮大路はＦＭラジオでないし近付き難くない
事実6: もしもあの若宮大路はＦＭラジオであるが近付き難くないとすればそれは効果意思でない
事実7: 仮にその．ネットが罹り易いならばあの若宮大路は三尊像である
事実8: もしあの若宮大路はＦＭラジオでないけど近付き難いならばそれは効果意思でない
事実9: 「「近付き難くないし検閲しない」ということは間違いである」ものがあるとしたらあの学習プロセスは検閲する
事実10: その．ネットが軽ーいとしたらあの若宮大路は三尊像だ
事実11: もし仮にあの特定口座内が掃除し易くないけど検閲するとしたらあの若宮大路は検閲する
事実12: あの特定口座内は掃除し易くない
事実13: もしあの特定口座内が効果意思であるしそれに検閲するとするとあの若宮大路は近付き難くない
事実14: もしあの学習プロセスがしぶとくなくてそれが割譲しないならあの特定口座内はしぶとい
事実15: もし仮にその．ネットが罹り易くないならばあの分割・統合はソ連側だ
事実16: あの特定口座内は掃除し易くない一方で検閲する
事実17: 「この対立抗争は近付き難くなくてまた検閲しない」ということは成り立たない
事実18: もしもあの若宮大路がＦＭラジオでなくて近付き難くないとしたら効果意思でない
事実19: もし仮にあの若宮大路が検閲するしその上割譲するとするとその分割・統合はソ連側でない
事実20: その分割・統合は聞こえ難いということはない
事実21: もしも何かは効果意思であるとしたら「三尊像でない一方で軽ーい」ということは成り立たない
事実22: その．ネットは罹り易いかまたはそれは軽ーいか両方だ

仮説: その分割・統合はソ連側であるということはない
1. 事実22と事実7と事実10から、推論1: "あの若宮大路は三尊像である"が導かれる
2. 事実18と事実5から、推論2: "あの若宮大路は効果意思でない"が導かれる
3. 推論1と推論2から、推論3: "あの若宮大路は三尊像だがしかしそれは効果意思でない"が導かれる
4. 事実2から、推論4: "あの若宮大路は三尊像であるがしかし効果意思でないならそれはしぶとくない"が導かれる
5. 推論3と推論4から、推論5: "あの若宮大路はしぶとくない"が導かれる
6. 推論5と事実3から、推論6: "「あの若宮大路は割譲する」ということは成り立つ"が導かれる
7. 事実16と事実11から、推論7: "あの若宮大路は検閲する"が導かれる
8. 推論6と推論7から、推論8: "あの若宮大路は検閲するし割譲する"が導かれる
9. 推論8と事実19から、仮説が導かれる

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