そのフレームは遠しない
fact1: その行きずりは野暮ったくなくて聞き入れない fact2: その絵本館は割愛する fact3: もし仮に易しくないしかつ御若い物があるとすればあの研究開発システムは安代城だ fact4: もしもその行きずりが肥大するとすればあの研究開発システムは同期化しない fact5: その行きずりは同期化するとすると「その研究開発システムは同期化しない」ということは成り立つ fact6: もしもとある物は安代城だとしたら「それは教養課程でなくてそれは計測データである」ということは偽だ fact7: あのアクセシビリティは野暮ったくなくて加えてそれは聞き入れない fact8: 「あのアクセシビリティは易しくない一方で御若い」ということは誤りだとするとその絵本館は割愛しない fact9: 仮にその行きずりが他愛無くないならばそれは同期化するかあるいは肥大するかまたは両方である fact10: もしも「その研究開発システムは同期化しないが安代城だ」ということは本当だとしたらそのフレームは遠し fact11: 仮にあのアクセシビリティは野暮ったくなくてまた聞き入れないとしたら他愛無くない fact12: もしとある物は同期化するということはないとすると「それは割愛しなくて加えて安代城でない」ということは誤りである fact13: もしもその行きずりは野暮ったくなくてその上聞き入れないなら他愛無くない
void -> assump1: 以下のように仮定する。「「あのアクセシビリティは易しいということはないけど御若い」ということは成り立つということはない」ということは成り立つ; fact8 & assump1 -> int1: その絵本館は割愛しない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのアクセシビリティは易しいということはないがしかしそれは御若い; int3 -> int4: 「易しくないけれど御若い」ものはある; int4 & fact3 -> int5: その研究開発システムは安代城だ; fact1 & fact13 -> int6: その行きずりは他愛無くない; fact9 & int6 -> int7: その行きずりは同期化するかまたは肥大するかあるいはどちらもだ; fact5 & int7 & fact4 -> int8: その研究開発システムは同期化しない; int5 & int8 -> int9: その研究開発システムは同期化しないが安代城だ; int9 & fact10 -> hypothesis;
「その行きずりは教養課程でない一方で計測データだ」ということは誤っている
fact14 -> int10: その行きずりは安代城ならば「教養課程でないしさらにそれは計測データだ」ということは誤りだ;
$facts$ = fact1: その行きずりは野暮ったくなくて聞き入れない fact2: その絵本館は割愛する fact3: もし仮に易しくないしかつ御若い物があるとすればあの研究開発システムは安代城だ fact4: もしもその行きずりが肥大するとすればあの研究開発システムは同期化しない fact5: その行きずりは同期化するとすると「その研究開発システムは同期化しない」ということは成り立つ fact6: もしもとある物は安代城だとしたら「それは教養課程でなくてそれは計測データである」ということは偽だ fact7: あのアクセシビリティは野暮ったくなくて加えてそれは聞き入れない fact8: 「あのアクセシビリティは易しくない一方で御若い」ということは誤りだとするとその絵本館は割愛しない fact9: 仮にその行きずりが他愛無くないならばそれは同期化するかあるいは肥大するかまたは両方である fact10: もしも「その研究開発システムは同期化しないが安代城だ」ということは本当だとしたらそのフレームは遠し fact11: 仮にあのアクセシビリティは野暮ったくなくてまた聞き入れないとしたら他愛無くない fact12: もしとある物は同期化するということはないとすると「それは割愛しなくて加えて安代城でない」ということは誤りである fact13: もしもその行きずりは野暮ったくなくてその上聞き入れないなら他愛無くない ; $hypothesis$ = そのフレームは遠しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「「あのアクセシビリティは易しいということはないけど御若い」ということは成り立つということはない」ということは成り立つ; fact8 & assump1 -> int1: その絵本館は割愛しない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのアクセシビリティは易しいということはないがしかしそれは御若い; int3 -> int4: 「易しくないけれど御若い」ものはある; int4 & fact3 -> int5: その研究開発システムは安代城だ; fact1 & fact13 -> int6: その行きずりは他愛無くない; fact9 & int6 -> int7: その行きずりは同期化するかまたは肥大するかあるいはどちらもだ; fact5 & int7 & fact4 -> int8: その研究開発システムは同期化しない; int5 & int8 -> int9: その研究開発システムは同期化しないが安代城だ; int9 & fact10 -> hypothesis; __DISPROVED__
事実1: その行きずりは野暮ったくなくて聞き入れない
事実2: その絵本館は割愛する
事実3: もし仮に易しくないしかつ御若い物があるとすればあの研究開発システムは安代城だ
事実4: もしもその行きずりが肥大するとすればあの研究開発システムは同期化しない
事実5: その行きずりは同期化するとすると「その研究開発システムは同期化しない」ということは成り立つ
事実6: もしもとある物は安代城だとしたら「それは教養課程でなくてそれは計測データである」ということは偽だ
事実7: あのアクセシビリティは野暮ったくなくて加えてそれは聞き入れない
事実8: 「あのアクセシビリティは易しくない一方で御若い」ということは誤りだとするとその絵本館は割愛しない
事実9: 仮にその行きずりが他愛無くないならばそれは同期化するかあるいは肥大するかまたは両方である
事実10: もしも「その研究開発システムは同期化しないが安代城だ」ということは本当だとしたらそのフレームは遠し
事実11: 仮にあのアクセシビリティは野暮ったくなくてまた聞き入れないとしたら他愛無くない
事実12: もしとある物は同期化するということはないとすると「それは割愛しなくて加えて安代城でない」ということは誤りである
事実13: もしもその行きずりは野暮ったくなくてその上聞き入れないなら他愛無くない

仮説: そのフレームは遠しない
1. 仮定1: 以下のように仮定する。「「あのアクセシビリティは易しいということはないけど御若い」ということは成り立つということはない」ということは成り立つ
2. 事実8と仮定1から、推論1: "その絵本館は割愛しない"が導かれる
3. 推論1と事実2から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あのアクセシビリティは易しいということはないがしかしそれは御若い"が導かれる
5. 推論3から、推論4: "「易しくないけれど御若い」ものはある"が導かれる
6. 推論4と事実3から、推論5: "その研究開発システムは安代城だ"が導かれる
7. 事実1と事実13から、推論6: "その行きずりは他愛無くない"が導かれる
8. 事実9と推論6から、推論7: "その行きずりは同期化するかまたは肥大するかあるいはどちらもだ"が導かれる
9. 事実5と推論7と事実4から、推論8: "その研究開発システムは同期化しない"が導かれる
10. 推論5と推論8から、推論9: "その研究開発システムは同期化しないが安代城だ"が導かれる
11. 推論9と事実10から、仮説が否定される

よって、仮説が否定されました。