このＶＲＡＭは情けなくない
fact1: 抗い難い物は組み直すということはないけれど御悪い fact2: このＶＲＡＭは浅黒い fact3: 「とある物は国土保全でなくてしかもそれは二十一Ｃでない」ということは間違いだとすると抗い難い fact4: もしあの下顎角は語類であるとしたら「その中等学校は友・敵だ一方でメリット・デメリットでない」ということは間違いだ fact5: もし仮にこのＶＲＡＭは組み直さないけれど御悪いならばそれは情けなくない fact6: 「このＶＲＡＭは従軍牧師でなくて抗い難くない」ということは嘘だ fact7: この俗化は国土保全である fact8: 御悪くないものは組み直すし抗い難い fact9: 国土保全は抗い難い fact10: もし仮にあの見返し分が取材中ならば二十一Ｃでないしその上それは着直す fact11: 「このＶＲＡＭは国土保全でなくて加えて二十一Ｃでない」ということは成り立たない fact12: もし仮に「この上面図は組み直す」ということは事実であるなら「このＶＲＡＭは情けない」ということは成り立つ fact13: 仮にそのシステムコールが立て難いならばそれは従事する fact14: 多剤投与は語類である fact15: あの御道は国土保全である fact16: 仮に何らかの物は友・敵でないとすると「御悪くなくてかつ抗い難くない」ということは誤っている fact17: 仮にこのＶＲＡＭは国土保全であるなら「それは抗い難い」ということは本当だ fact18: もし仮に何らかの物は定量化するなら「それは隔つないしそれは多剤投与である」ということは事実と異なる fact19: もし仮に「その中等学校は友・敵であるがメリット・デメリットでない」ということは事実と異なるとするとこの上面図は御悪くない fact20: もしもなんらかのものが抗い難いとするとそれは御悪い fact21: 仮に「そのソ連軍司令部は隔つないが多剤投与である」ということは成り立たないならばあの下顎角は多剤投与である fact22: 「このＶＲＡＭは組み直さないがおっかない」ということは偽だ
fact3 -> int1: 仮に「このＶＲＡＭは国土保全でないしそれに二十一Ｃでない」ということは成り立たないならば「それは抗い難い」ということは事実である; int1 & fact11 -> int2: このＶＲＡＭは抗い難い; fact1 -> int3: もしもこのＶＲＡＭが抗い難いならそれは組み直さないし更にそれは御悪い; int2 & int3 -> int4: 「このＶＲＡＭは組み直さないがしかし御悪い」ということは正しい; int4 & fact5 -> hypothesis;
このＶＲＡＭは情けない
fact23 -> int5: もしも「この上面図は友・敵でない」ということは嘘でないとしたら「それは御悪くなくてかつ抗い難くない」ということは偽である;
$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$ = 
fact3 -> int1: 仮に「このＶＲＡＭは国土保全でないしそれに二十一Ｃでない」ということは成り立たないならば「それは抗い難い」ということは事実である; int1 & fact11 -> int2: このＶＲＡＭは抗い難い; fact1 -> int3: もしもこのＶＲＡＭが抗い難いならそれは組み直さないし更にそれは御悪い; int2 & int3 -> int4: 「このＶＲＡＭは組み直さないがしかし御悪い」ということは正しい; int4 & fact5 -> 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. 事実3から、推論1: "仮に「このＶＲＡＭは国土保全でないしそれに二十一Ｃでない」ということは成り立たないならば「それは抗い難い」ということは事実である"が導かれる
2. 推論1と事実11から、推論2: "このＶＲＡＭは抗い難い"が導かれる
3. 事実1から、推論3: "もしもこのＶＲＡＭが抗い難いならそれは組み直さないし更にそれは御悪い"が導かれる
4. 推論2と推論3から、推論4: "「このＶＲＡＭは組み直さないがしかし御悪い」ということは正しい"が導かれる
5. 推論4と事実5から、仮説が導かれる

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