あのＧＦＲは当為だ
fact1: もしも「あのＧＦＲは当為でないけどっ早い」ということは成り立たないとすればあの選択器はっ早くない fact2: もし仮にあの選択器が当為でないならあのＧＦＲはっ早い fact3: あの榴弾は獄死する fact4: っ早くないものが形成され易いとしたらそれは当為でない fact5: もしもあのティンチョルはっ早いとすると「あの選択器は復帰後であるがしかし獄死しない」ということは事実と異なる fact6: 慎み深い物は加入しない fact7: あのティンチョルはっ早い fact8: もしある物は形成され易いということはないとしたら「それは当為でないけどっ早い」ということは誤りだ fact9: もし「何らかの物は復帰後だ一方でそれは獄死しない」ということは嘘だとしたら「それは当為だということはない」ということは確かである fact10: もしもあの選択器が当為でないとするとあのＧＦＲは当為であるし更に形成され易い fact11: もし仮にあのティンチョルはっ早いとすれば「あの選択器は復帰後であるしかつ獄死する」ということは真実でない fact12: 仮に「あの選択器は獄死する」ということは事実であるとすれば当為でない
fact9 -> int1: 「「あの選択器は復帰後であるがそれは獄死しない」ということは間違いだとすると「あの選択器は当為だ」ということは誤りだ」ということは誤りだということはない; fact5 & fact7 -> int2: 「あの選択器は復帰後であるけど獄死しない」ということは間違いだ; int1 & int2 -> int3: あの選択器は当為であるということはない; int3 & fact10 -> int4: あのＧＦＲは当為であるしそれに形成され易い; int4 -> hypothesis;
「あの選択器はっ早くない」ということは成り立つ
fact13 -> int5: あのＧＦＲは形成され易いということはないならば「それは当為でないがしかしっ早い」ということは間違いである;
$facts$ = fact1: もしも「あのＧＦＲは当為でないけどっ早い」ということは成り立たないとすればあの選択器はっ早くない fact2: もし仮にあの選択器が当為でないならあのＧＦＲはっ早い fact3: あの榴弾は獄死する fact4: っ早くないものが形成され易いとしたらそれは当為でない fact5: もしもあのティンチョルはっ早いとすると「あの選択器は復帰後であるがしかし獄死しない」ということは事実と異なる fact6: 慎み深い物は加入しない fact7: あのティンチョルはっ早い fact8: もしある物は形成され易いということはないとしたら「それは当為でないけどっ早い」ということは誤りだ fact9: もし「何らかの物は復帰後だ一方でそれは獄死しない」ということは嘘だとしたら「それは当為だということはない」ということは確かである fact10: もしもあの選択器が当為でないとするとあのＧＦＲは当為であるし更に形成され易い fact11: もし仮にあのティンチョルはっ早いとすれば「あの選択器は復帰後であるしかつ獄死する」ということは真実でない fact12: 仮に「あの選択器は獄死する」ということは事実であるとすれば当為でない ; $hypothesis$ = あのＧＦＲは当為だ ; $proof$ = 
fact9 -> int1: 「「あの選択器は復帰後であるがそれは獄死しない」ということは間違いだとすると「あの選択器は当為だ」ということは誤りだ」ということは誤りだということはない; fact5 & fact7 -> int2: 「あの選択器は復帰後であるけど獄死しない」ということは間違いだ; int1 & int2 -> int3: あの選択器は当為であるということはない; int3 & fact10 -> int4: あのＧＦＲは当為であるしそれに形成され易い; int4 -> hypothesis; __PROVED__
事実1: もしも「あのＧＦＲは当為でないけどっ早い」ということは成り立たないとすればあの選択器はっ早くない
事実2: もし仮にあの選択器が当為でないならあのＧＦＲはっ早い
事実3: あの榴弾は獄死する
事実4: っ早くないものが形成され易いとしたらそれは当為でない
事実5: もしもあのティンチョルはっ早いとすると「あの選択器は復帰後であるがしかし獄死しない」ということは事実と異なる
事実6: 慎み深い物は加入しない
事実7: あのティンチョルはっ早い
事実8: もしある物は形成され易いということはないとしたら「それは当為でないけどっ早い」ということは誤りだ
事実9: もし「何らかの物は復帰後だ一方でそれは獄死しない」ということは嘘だとしたら「それは当為だということはない」ということは確かである
事実10: もしもあの選択器が当為でないとするとあのＧＦＲは当為であるし更に形成され易い
事実11: もし仮にあのティンチョルはっ早いとすれば「あの選択器は復帰後であるしかつ獄死する」ということは真実でない
事実12: 仮に「あの選択器は獄死する」ということは事実であるとすれば当為でない

仮説: あのＧＦＲは当為だ
1. 事実9から、推論1: "「「あの選択器は復帰後であるがそれは獄死しない」ということは間違いだとすると「あの選択器は当為だ」ということは誤りだ」ということは誤りだということはない"が導かれる
2. 事実5と事実7から、推論2: "「あの選択器は復帰後であるけど獄死しない」ということは間違いだ"が導かれる
3. 推論1と推論2から、推論3: "あの選択器は当為であるということはない"が導かれる
4. 推論3と事実10から、推論4: "あのＧＦＲは当為であるしそれに形成され易い"が導かれる
5. 推論4から、仮説が導かれる

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