「偉くないとすれば「鉄製でないししかも発症し易くない」ということは成り立たない」ものはある
fact1: あの越後兵は鉄製であるということはないなら「「それは堪えない一方で鈍化だ」ということは成り立つ」ということは成り立たない fact2: あの照合が迫撃砲でないとすれば偉くないしかつそれは身元保証でない fact3: もし仮になにかは増加益でないなら美味しかないし加えてブラバスらしくない fact4: 「仮に「偉くない」ということは間違いでないならば「鉄製でなくてかつ発症し易い」ということは成り立たない」ものはある fact5: もしもその数メートル先はＪ‐ＳＴＩＭＳだとすると「疾しということはなくて偉いということはない」ということは確かでない fact6: もしとある物は偉くないならば「鉄製であるしそれに発症し易くない」ということは偽だ fact7: 仮にこの舞台が楽しくないならそれは発症し易いということはないし起き難くない fact8: 何かは偉くないとしたら「それは鉄製であるということはないしおまけに発症し易くない」ということは偽だ fact9: 「もし仮に破断しないならば「駆け下りるしかつ女らしくない」ということは事実と異なる」物はある fact10: もし仮にあの物損事故は盗掘するとしたら「それは鉄製であるということはなくてかつＩさんでない」ということは偽だ fact11: もし仮になんらかのものはページ上なら「それは堆くないし加えてそれは送達しない」ということは嘘だ fact12: もし仮にあの越後兵は発症し易くないとしたら「明け切らない一方で割れ易い」ということは偽である fact13: ある物は偉いならば「鉄製でなくて発症し易くない」ということは事実でない fact14: 「偉くないとしたら鉄製でないし発症し易くない」ものはある fact15: 仮にあの越後兵が虫キングでないとすれば寛政期でないしその上それは強しない fact16: もしその王殺しは鉄製でないとすると「それが発進だし如才無くない」ということは成り立たない fact17: 「もし移行出来ないならば「握らないしまた数週間以内でない」ということは嘘な」ものはある fact18: もしとあるものは席数だとすれば「それは分娩しなくてかつ軽ーくない」ということは成り立たない
fact8 -> int1: あの越後兵は偉いということはないとすると「それは鉄製でないしさらにそれは発症し易くない」ということは成り立たない; int1 -> hypothesis;
fact8 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: あの越後兵は鉄製であるということはないなら「「それは堪えない一方で鈍化だ」ということは成り立つ」ということは成り立たない fact2: あの照合が迫撃砲でないとすれば偉くないしかつそれは身元保証でない fact3: もし仮になにかは増加益でないなら美味しかないし加えてブラバスらしくない fact4: 「仮に「偉くない」ということは間違いでないならば「鉄製でなくてかつ発症し易い」ということは成り立たない」ものはある fact5: もしもその数メートル先はＪ‐ＳＴＩＭＳだとすると「疾しということはなくて偉いということはない」ということは確かでない fact6: もしとある物は偉くないならば「鉄製であるしそれに発症し易くない」ということは偽だ fact7: 仮にこの舞台が楽しくないならそれは発症し易いということはないし起き難くない fact8: 何かは偉くないとしたら「それは鉄製であるということはないしおまけに発症し易くない」ということは偽だ fact9: 「もし仮に破断しないならば「駆け下りるしかつ女らしくない」ということは事実と異なる」物はある fact10: もし仮にあの物損事故は盗掘するとしたら「それは鉄製であるということはなくてかつＩさんでない」ということは偽だ fact11: もし仮になんらかのものはページ上なら「それは堆くないし加えてそれは送達しない」ということは嘘だ fact12: もし仮にあの越後兵は発症し易くないとしたら「明け切らない一方で割れ易い」ということは偽である fact13: ある物は偉いならば「鉄製でなくて発症し易くない」ということは事実でない fact14: 「偉くないとしたら鉄製でないし発症し易くない」ものはある fact15: 仮にあの越後兵が虫キングでないとすれば寛政期でないしその上それは強しない fact16: もしその王殺しは鉄製でないとすると「それが発進だし如才無くない」ということは成り立たない fact17: 「もし移行出来ないならば「握らないしまた数週間以内でない」ということは嘘な」ものはある fact18: もしとあるものは席数だとすれば「それは分娩しなくてかつ軽ーくない」ということは成り立たない ; $hypothesis$ = 「偉くないとすれば「鉄製でないししかも発症し易くない」ということは成り立たない」ものはある ; $proof$ = 
fact8 -> int1: あの越後兵は偉いということはないとすると「それは鉄製でないしさらにそれは発症し易くない」ということは成り立たない; int1 -> hypothesis; __PROVED__
事実1: あの越後兵は鉄製であるということはないなら「「それは堪えない一方で鈍化だ」ということは成り立つ」ということは成り立たない
事実2: あの照合が迫撃砲でないとすれば偉くないしかつそれは身元保証でない
事実3: もし仮になにかは増加益でないなら美味しかないし加えてブラバスらしくない
事実4: 「仮に「偉くない」ということは間違いでないならば「鉄製でなくてかつ発症し易い」ということは成り立たない」ものはある
事実5: もしもその数メートル先はＪ‐ＳＴＩＭＳだとすると「疾しということはなくて偉いということはない」ということは確かでない
事実6: もしとある物は偉くないならば「鉄製であるしそれに発症し易くない」ということは偽だ
事実7: 仮にこの舞台が楽しくないならそれは発症し易いということはないし起き難くない
事実8: 何かは偉くないとしたら「それは鉄製であるということはないしおまけに発症し易くない」ということは偽だ
事実9: 「もし仮に破断しないならば「駆け下りるしかつ女らしくない」ということは事実と異なる」物はある
事実10: もし仮にあの物損事故は盗掘するとしたら「それは鉄製であるということはなくてかつＩさんでない」ということは偽だ
事実11: もし仮になんらかのものはページ上なら「それは堆くないし加えてそれは送達しない」ということは嘘だ
事実12: もし仮にあの越後兵は発症し易くないとしたら「明け切らない一方で割れ易い」ということは偽である
事実13: ある物は偉いならば「鉄製でなくて発症し易くない」ということは事実でない
事実14: 「偉くないとしたら鉄製でないし発症し易くない」ものはある
事実15: 仮にあの越後兵が虫キングでないとすれば寛政期でないしその上それは強しない
事実16: もしその王殺しは鉄製でないとすると「それが発進だし如才無くない」ということは成り立たない
事実17: 「もし移行出来ないならば「握らないしまた数週間以内でない」ということは嘘な」ものはある
事実18: もしとあるものは席数だとすれば「それは分娩しなくてかつ軽ーくない」ということは成り立たない

仮説: 「偉くないとすれば「鉄製でないししかも発症し易くない」ということは成り立たない」ものはある
1. 事実8から、推論1: "あの越後兵は偉いということはないとすると「それは鉄製でないしさらにそれは発症し易くない」ということは成り立たない"が導かれる
2. 推論1から、仮説が導かれる

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