あのＧＲＰは共鳴し易い
fact1: もし仮にその基本類型は転位しないならば「あのＧＲＰは情報化するがしかし勤続しない」ということは誤っている fact2: 仮にその基本類型がモデル間でその上抗い難いとするとそれは転位しない fact3: もし「その基本類型は転位しない」ということは間違いでないなら「「あのＧＲＰは情報化しないし加えて勤続するということはない」ということは確かである」ということは誤っている fact4: その基本類型は擽ったいしかつそれは勤続する fact5: その基本類型は擽ったい fact6: 仮にその基本類型は転位しないとしたら「あのＧＲＰは情報化しない一方で勤続する」ということは偽だ fact7: その基本類型は止む無い fact8: 「あの命中精度は回折現象であるかまたはそれは一芸であるか両方である」ということは間違いだ fact9: その基本類型は止む無くてさらに抗い難い fact10: その基本類型は情報化する fact11: もし「なにがしかの物は情報化するということはないし勤続しない」ということは嘘であるならばそれは共鳴し易い fact12: その基本類型はモデル間でおまけに擽ったい fact13: 「あのＧＲＰは情報化するということはないがしかし勤続する」ということは偽だ fact14: 仮に「止む無くない」物があるとするとその総合判定は情報化しないかあるいは勤続するかもしくは両方である fact15: 仮に「あの命中精度は回折現象であるかあるいはそれは一芸だ」ということは嘘であるとしたらあの利敵行為は止む無くない fact16: もしもその年降水量が勤続しないとしたら抗い難いけど転位しない fact17: 仮にその総合判定が情報化するということはないかそれは勤続するなら「その年降水量は勤続しない」ということは事実だ fact18: 「もしもあのＧＲＰは擽ったくないとすれば「「あのＧＲＰはモデル間であるし更に共鳴し易い」ということは成り立たない」ということは誤りでない」ということは事実である fact19: 「あのＧＲＰは情報化するけど勤続しない」ということは成り立たない
fact12 -> int1: その基本類型はモデル間である; fact9 -> int2: その基本類型は抗い難い; int1 & int2 -> int3: その基本類型はモデル間であるし加えて抗い難い; int3 & fact2 -> int4: その基本類型は転位しない; int4 & fact3 -> int5: 「「あのＧＲＰは情報化しなくておまけにそれは勤続しない」ということは成り立つ」ということは偽である; fact11 -> int6: 仮に「あのＧＲＰは情報化しなくてそれに勤続するということはない」ということは偽ならば共鳴し易い; int5 & int6 -> hypothesis;
あのＧＲＰは共鳴し易くない
fact21 & fact22 -> int7: あの利敵行為は止む無いということはない; int7 -> int8: なんらかの物は止む無くない; int8 & fact23 -> int9: その総合判定は情報化しないかあるいはそれは勤続する; fact20 & int9 -> int10: その年降水量は勤続しない; fact24 & int10 -> int11: その年降水量は抗い難いがしかし転位しない; int11 -> int12: なんらかのものは抗い難いけれど転位しない;
$facts$ = fact1: もし仮にその基本類型は転位しないならば「あのＧＲＰは情報化するがしかし勤続しない」ということは誤っている fact2: 仮にその基本類型がモデル間でその上抗い難いとするとそれは転位しない fact3: もし「その基本類型は転位しない」ということは間違いでないなら「「あのＧＲＰは情報化しないし加えて勤続するということはない」ということは確かである」ということは誤っている fact4: その基本類型は擽ったいしかつそれは勤続する fact5: その基本類型は擽ったい fact6: 仮にその基本類型は転位しないとしたら「あのＧＲＰは情報化しない一方で勤続する」ということは偽だ fact7: その基本類型は止む無い fact8: 「あの命中精度は回折現象であるかまたはそれは一芸であるか両方である」ということは間違いだ fact9: その基本類型は止む無くてさらに抗い難い fact10: その基本類型は情報化する fact11: もし「なにがしかの物は情報化するということはないし勤続しない」ということは嘘であるならばそれは共鳴し易い fact12: その基本類型はモデル間でおまけに擽ったい fact13: 「あのＧＲＰは情報化するということはないがしかし勤続する」ということは偽だ fact14: 仮に「止む無くない」物があるとするとその総合判定は情報化しないかあるいは勤続するかもしくは両方である fact15: 仮に「あの命中精度は回折現象であるかあるいはそれは一芸だ」ということは嘘であるとしたらあの利敵行為は止む無くない fact16: もしもその年降水量が勤続しないとしたら抗い難いけど転位しない fact17: 仮にその総合判定が情報化するということはないかそれは勤続するなら「その年降水量は勤続しない」ということは事実だ fact18: 「もしもあのＧＲＰは擽ったくないとすれば「「あのＧＲＰはモデル間であるし更に共鳴し易い」ということは成り立たない」ということは誤りでない」ということは事実である fact19: 「あのＧＲＰは情報化するけど勤続しない」ということは成り立たない ; $hypothesis$ = あのＧＲＰは共鳴し易い ; $proof$ = 
fact12 -> int1: その基本類型はモデル間である; fact9 -> int2: その基本類型は抗い難い; int1 & int2 -> int3: その基本類型はモデル間であるし加えて抗い難い; int3 & fact2 -> int4: その基本類型は転位しない; int4 & fact3 -> int5: 「「あのＧＲＰは情報化しなくておまけにそれは勤続しない」ということは成り立つ」ということは偽である; fact11 -> int6: 仮に「あのＧＲＰは情報化しなくてそれに勤続するということはない」ということは偽ならば共鳴し易い; int5 & int6 -> hypothesis; __PROVED__
事実1: もし仮にその基本類型は転位しないならば「あのＧＲＰは情報化するがしかし勤続しない」ということは誤っている
事実2: 仮にその基本類型がモデル間でその上抗い難いとするとそれは転位しない
事実3: もし「その基本類型は転位しない」ということは間違いでないなら「「あのＧＲＰは情報化しないし加えて勤続するということはない」ということは確かである」ということは誤っている
事実4: その基本類型は擽ったいしかつそれは勤続する
事実5: その基本類型は擽ったい
事実6: 仮にその基本類型は転位しないとしたら「あのＧＲＰは情報化しない一方で勤続する」ということは偽だ
事実7: その基本類型は止む無い
事実8: 「あの命中精度は回折現象であるかまたはそれは一芸であるか両方である」ということは間違いだ
事実9: その基本類型は止む無くてさらに抗い難い
事実10: その基本類型は情報化する
事実11: もし「なにがしかの物は情報化するということはないし勤続しない」ということは嘘であるならばそれは共鳴し易い
事実12: その基本類型はモデル間でおまけに擽ったい
事実13: 「あのＧＲＰは情報化するということはないがしかし勤続する」ということは偽だ
事実14: 仮に「止む無くない」物があるとするとその総合判定は情報化しないかあるいは勤続するかもしくは両方である
事実15: 仮に「あの命中精度は回折現象であるかあるいはそれは一芸だ」ということは嘘であるとしたらあの利敵行為は止む無くない
事実16: もしもその年降水量が勤続しないとしたら抗い難いけど転位しない
事実17: 仮にその総合判定が情報化するということはないかそれは勤続するなら「その年降水量は勤続しない」ということは事実だ
事実18: 「もしもあのＧＲＰは擽ったくないとすれば「「あのＧＲＰはモデル間であるし更に共鳴し易い」ということは成り立たない」ということは誤りでない」ということは事実である
事実19: 「あのＧＲＰは情報化するけど勤続しない」ということは成り立たない

仮説: あのＧＲＰは共鳴し易い
1. 事実12から、推論1: "その基本類型はモデル間である"が導かれる
2. 事実9から、推論2: "その基本類型は抗い難い"が導かれる
3. 推論1と推論2から、推論3: "その基本類型はモデル間であるし加えて抗い難い"が導かれる
4. 推論3と事実2から、推論4: "その基本類型は転位しない"が導かれる
5. 推論4と事実3から、推論5: "「「あのＧＲＰは情報化しなくておまけにそれは勤続しない」ということは成り立つ」ということは偽である"が導かれる
6. 事実11から、推論6: "仮に「あのＧＲＰは情報化しなくてそれに勤続するということはない」ということは偽ならば共鳴し易い"が導かれる
7. 推論5と推論6から、仮説が導かれる

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