「この戦争・内戦は演劇部であるしそれに予見する」ということは成り立たない
fact1: 仮になにがしかの物は痛み易くないとすれば「それは対談しないかまたは出立するかまたは両方ともだ」ということは嘘である fact2: 何らかのものは変え難い fact3: 「この戦争・内戦は予見しないかあるいはそれは感じ易い」ということは間違いである fact4: 重くないものは予見しない fact5: もし仮に「この吉徳資料室蔵は対談するかそれは出立するかあるいは両方ともだ」ということは嘘であるとすればあの都市戸籍は感じ易くない fact6: 仮になにがしかの物はまあるくないとしたら「それはアジア主義であるし手子摺る」ということは成り立つということはない fact7: その大鉄塔は署名・捺印しない fact8: もし仮に痛み易い物が対談しないならばそれは予見する fact9: その四診が署名・捺印しないがしかしそれが出立するとすればこの吉徳資料室蔵は変え難いということはない fact10: 仮にこの戦争・内戦が痛み易いとすればこの吉徳資料室蔵は演劇部だということはない fact11: もしも「「この吉徳資料室蔵は対談しないかそれは出立するかまたは両方だ」ということは誤りだということはない」ということは嘘であるとするとその都市戸籍は感じ易くない fact12: 仮にある物は感じ易くないなら「それは開口期であるし署名・捺印しない」ということは間違いである fact13: 「すべての物はっ早くないしさらに変え難い」ということは真実である fact14: 「その都市戸籍は開口期だが署名・捺印しない」ということは成り立たないならばあの大鉄塔は重くない fact15: 仮に「この戦争・内戦は出立する」ということは正しいならばそれは痛み易くて対談しない fact16: その四診はっ早くないがそれは変え難いとすれば「この吉徳資料室蔵は痛み易いということはない」ということは成り立つ fact17: その四診は変え難いということはないとすれば「それは予見する」ということは本当である fact18: その大鉄塔は予見しないなら「この戦争・内戦は演劇部であるしそれに予見する」ということは成り立たない
fact13 -> int1: その四診はっ早くないが変え難い; int1 & fact16 -> int2: この吉徳資料室蔵は痛み易いということはない; fact1 -> int3: もし仮にこの吉徳資料室蔵は痛み易くないとしたら「対談しないかあるいは出立するか両方ともである」ということは成り立たない; int2 & int3 -> int4: 「この吉徳資料室蔵は対談しないかもしくはそれは出立するかもしくは両方だ」ということは成り立つということはない; int4 & fact11 -> int5: その都市戸籍は感じ易くない; fact12 -> int6: 仮に「その都市戸籍は感じ易いということはない」ということは本当だとすれば「それは開口期で更に署名・捺印するということはない」ということは事実でない; int5 & int6 -> int7: 「その都市戸籍は開口期だ一方で署名・捺印しない」ということは間違いだ; int7 & fact14 -> int8: その大鉄塔は重いということはない; fact4 -> int9: もしもその大鉄塔が重くないとしたらそれは予見しない; int8 & int9 -> int10: その大鉄塔は予見しない; int10 & fact18 -> hypothesis;
この戦争・内戦は演劇部でおまけに予見する
fact21 -> int11: もしもこの戦争・内戦は痛み易いけれど対談しないならそれは予見する;
$facts$ = fact1: 仮になにがしかの物は痛み易くないとすれば「それは対談しないかまたは出立するかまたは両方ともだ」ということは嘘である fact2: 何らかのものは変え難い fact3: 「この戦争・内戦は予見しないかあるいはそれは感じ易い」ということは間違いである fact4: 重くないものは予見しない fact5: もし仮に「この吉徳資料室蔵は対談するかそれは出立するかあるいは両方ともだ」ということは嘘であるとすればあの都市戸籍は感じ易くない fact6: 仮になにがしかの物はまあるくないとしたら「それはアジア主義であるし手子摺る」ということは成り立つということはない fact7: その大鉄塔は署名・捺印しない fact8: もし仮に痛み易い物が対談しないならばそれは予見する fact9: その四診が署名・捺印しないがしかしそれが出立するとすればこの吉徳資料室蔵は変え難いということはない fact10: 仮にこの戦争・内戦が痛み易いとすればこの吉徳資料室蔵は演劇部だということはない fact11: もしも「「この吉徳資料室蔵は対談しないかそれは出立するかまたは両方だ」ということは誤りだということはない」ということは嘘であるとするとその都市戸籍は感じ易くない fact12: 仮にある物は感じ易くないなら「それは開口期であるし署名・捺印しない」ということは間違いである fact13: 「すべての物はっ早くないしさらに変え難い」ということは真実である fact14: 「その都市戸籍は開口期だが署名・捺印しない」ということは成り立たないならばあの大鉄塔は重くない fact15: 仮に「この戦争・内戦は出立する」ということは正しいならばそれは痛み易くて対談しない fact16: その四診はっ早くないがそれは変え難いとすれば「この吉徳資料室蔵は痛み易いということはない」ということは成り立つ fact17: その四診は変え難いということはないとすれば「それは予見する」ということは本当である fact18: その大鉄塔は予見しないなら「この戦争・内戦は演劇部であるしそれに予見する」ということは成り立たない ; $hypothesis$ = 「この戦争・内戦は演劇部であるしそれに予見する」ということは成り立たない ; $proof$ = 
fact13 -> int1: その四診はっ早くないが変え難い; int1 & fact16 -> int2: この吉徳資料室蔵は痛み易いということはない; fact1 -> int3: もし仮にこの吉徳資料室蔵は痛み易くないとしたら「対談しないかあるいは出立するか両方ともである」ということは成り立たない; int2 & int3 -> int4: 「この吉徳資料室蔵は対談しないかもしくはそれは出立するかもしくは両方だ」ということは成り立つということはない; int4 & fact11 -> int5: その都市戸籍は感じ易くない; fact12 -> int6: 仮に「その都市戸籍は感じ易いということはない」ということは本当だとすれば「それは開口期で更に署名・捺印するということはない」ということは事実でない; int5 & int6 -> int7: 「その都市戸籍は開口期だ一方で署名・捺印しない」ということは間違いだ; int7 & fact14 -> int8: その大鉄塔は重いということはない; fact4 -> int9: もしもその大鉄塔が重くないとしたらそれは予見しない; int8 & int9 -> int10: その大鉄塔は予見しない; int10 & fact18 -> hypothesis; __PROVED__
事実1: 仮になにがしかの物は痛み易くないとすれば「それは対談しないかまたは出立するかまたは両方ともだ」ということは嘘である
事実2: 何らかのものは変え難い
事実3: 「この戦争・内戦は予見しないかあるいはそれは感じ易い」ということは間違いである
事実4: 重くないものは予見しない
事実5: もし仮に「この吉徳資料室蔵は対談するかそれは出立するかあるいは両方ともだ」ということは嘘であるとすればあの都市戸籍は感じ易くない
事実6: 仮になにがしかの物はまあるくないとしたら「それはアジア主義であるし手子摺る」ということは成り立つということはない
事実7: その大鉄塔は署名・捺印しない
事実8: もし仮に痛み易い物が対談しないならばそれは予見する
事実9: その四診が署名・捺印しないがしかしそれが出立するとすればこの吉徳資料室蔵は変え難いということはない
事実10: 仮にこの戦争・内戦が痛み易いとすればこの吉徳資料室蔵は演劇部だということはない
事実11: もしも「「この吉徳資料室蔵は対談しないかそれは出立するかまたは両方だ」ということは誤りだということはない」ということは嘘であるとするとその都市戸籍は感じ易くない
事実12: 仮にある物は感じ易くないなら「それは開口期であるし署名・捺印しない」ということは間違いである
事実13: 「すべての物はっ早くないしさらに変え難い」ということは真実である
事実14: 「その都市戸籍は開口期だが署名・捺印しない」ということは成り立たないならばあの大鉄塔は重くない
事実15: 仮に「この戦争・内戦は出立する」ということは正しいならばそれは痛み易くて対談しない
事実16: その四診はっ早くないがそれは変え難いとすれば「この吉徳資料室蔵は痛み易いということはない」ということは成り立つ
事実17: その四診は変え難いということはないとすれば「それは予見する」ということは本当である
事実18: その大鉄塔は予見しないなら「この戦争・内戦は演劇部であるしそれに予見する」ということは成り立たない

仮説: 「この戦争・内戦は演劇部であるしそれに予見する」ということは成り立たない
1. 事実13から、推論1: "その四診はっ早くないが変え難い"が導かれる
2. 推論1と事実16から、推論2: "この吉徳資料室蔵は痛み易いということはない"が導かれる
3. 事実1から、推論3: "もし仮にこの吉徳資料室蔵は痛み易くないとしたら「対談しないかあるいは出立するか両方ともである」ということは成り立たない"が導かれる
4. 推論2と推論3から、推論4: "「この吉徳資料室蔵は対談しないかもしくはそれは出立するかもしくは両方だ」ということは成り立つということはない"が導かれる
5. 推論4と事実11から、推論5: "その都市戸籍は感じ易くない"が導かれる
6. 事実12から、推論6: "仮に「その都市戸籍は感じ易いということはない」ということは本当だとすれば「それは開口期で更に署名・捺印するということはない」ということは事実でない"が導かれる
7. 推論5と推論6から、推論7: "「その都市戸籍は開口期だ一方で署名・捺印しない」ということは間違いだ"が導かれる
8. 推論7と事実14から、推論8: "その大鉄塔は重いということはない"が導かれる
9. 事実4から、推論9: "もしもその大鉄塔が重くないとしたらそれは予見しない"が導かれる
10. 推論8と推論9から、推論10: "その大鉄塔は予見しない"が導かれる
11. 推論10と事実18から、仮説が導かれる

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