この老境は元亀元年でない
fact1: 歩き易い一方で塗し付けるということはないというものはない fact2: それは歩き易いしまた塗し付けるというものはない fact3: もし仮にこの心筋炎が床しかないならばあの希望職種は総辞職である fact4: もし仮にこの老境が塗し付けるとすれば元亀元年でない fact5: 「この老境は歩き易いしまたそれは塗し付ける」ということは成り立たない fact6: もし「何らかの物は歩き易いけどそれは塗し付けない」ということは間違いであるとすると元亀元年であるということはない fact7: なにがしかの物が塗し付けるとすれば元亀元年でない fact8: 総辞職は入港出来なくて長方形選択ツールでない fact9: 「その資金余剰額は引き受け権価額である一方で元亀元年でない」ということは嘘だ fact10: あの希望職種が入港出来なくてかつ長方形選択ツールでないとしたらこの老境は元亀元年だ fact11: この近親者中が巻き上げないかまたは年開業でないかまたは両方ともだとするとあの凍死は着工する fact12: 仮に「あの仲裁合意は相提携しなくてかつそれは床しかない」ということは偽だとしたらこの心筋炎は床しかない fact13: 仮に何らかのものはイタリア産だということはないとしたら「それは相提携しなくて床しかない」ということは事実と異なる
fact6 -> int1: もし仮に「「この老境は歩き易いがそれは塗し付けない」ということは嘘だ」ということは成り立つならそれは元亀元年でない; fact1 -> int2: 「この老境は歩き易いが塗し付けない」ということは誤りだ; int1 & int2 -> hypothesis;
fact6 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; fact1 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
「この老境は元亀元年だ」ということは成り立つ
fact18 -> int3: もしもあの希望職種は総辞職であるとすれば入港出来ないし更に長方形選択ツールでない; fact15 -> int4: もしもあの仲裁合意はイタリア産でないとしたら「相提携しなくて加えて床しいということはない」ということは成り立たない;
$facts$ = fact1: 歩き易い一方で塗し付けるということはないというものはない fact2: それは歩き易いしまた塗し付けるというものはない fact3: もし仮にこの心筋炎が床しかないならばあの希望職種は総辞職である fact4: もし仮にこの老境が塗し付けるとすれば元亀元年でない fact5: 「この老境は歩き易いしまたそれは塗し付ける」ということは成り立たない fact6: もし「何らかの物は歩き易いけどそれは塗し付けない」ということは間違いであるとすると元亀元年であるということはない fact7: なにがしかの物が塗し付けるとすれば元亀元年でない fact8: 総辞職は入港出来なくて長方形選択ツールでない fact9: 「その資金余剰額は引き受け権価額である一方で元亀元年でない」ということは嘘だ fact10: あの希望職種が入港出来なくてかつ長方形選択ツールでないとしたらこの老境は元亀元年だ fact11: この近親者中が巻き上げないかまたは年開業でないかまたは両方ともだとするとあの凍死は着工する fact12: 仮に「あの仲裁合意は相提携しなくてかつそれは床しかない」ということは偽だとしたらこの心筋炎は床しかない fact13: 仮に何らかのものはイタリア産だということはないとしたら「それは相提携しなくて床しかない」ということは事実と異なる ; $hypothesis$ = この老境は元亀元年でない ; $proof$ = 
fact6 -> int1: もし仮に「「この老境は歩き易いがそれは塗し付けない」ということは嘘だ」ということは成り立つならそれは元亀元年でない; fact1 -> int2: 「この老境は歩き易いが塗し付けない」ということは誤りだ; int1 & int2 -> hypothesis; __PROVED__
事実1: 歩き易い一方で塗し付けるということはないというものはない
事実2: それは歩き易いしまた塗し付けるというものはない
事実3: もし仮にこの心筋炎が床しかないならばあの希望職種は総辞職である
事実4: もし仮にこの老境が塗し付けるとすれば元亀元年でない
事実5: 「この老境は歩き易いしまたそれは塗し付ける」ということは成り立たない
事実6: もし「何らかの物は歩き易いけどそれは塗し付けない」ということは間違いであるとすると元亀元年であるということはない
事実7: なにがしかの物が塗し付けるとすれば元亀元年でない
事実8: 総辞職は入港出来なくて長方形選択ツールでない
事実9: 「その資金余剰額は引き受け権価額である一方で元亀元年でない」ということは嘘だ
事実10: あの希望職種が入港出来なくてかつ長方形選択ツールでないとしたらこの老境は元亀元年だ
事実11: この近親者中が巻き上げないかまたは年開業でないかまたは両方ともだとするとあの凍死は着工する
事実12: 仮に「あの仲裁合意は相提携しなくてかつそれは床しかない」ということは偽だとしたらこの心筋炎は床しかない
事実13: 仮に何らかのものはイタリア産だということはないとしたら「それは相提携しなくて床しかない」ということは事実と異なる

仮説: この老境は元亀元年でない
1. 事実6から、推論1: "もし仮に「「この老境は歩き易いがそれは塗し付けない」ということは嘘だ」ということは成り立つならそれは元亀元年でない"が導かれる
2. 事実1から、推論2: "「この老境は歩き易いが塗し付けない」ということは誤りだ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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