そのテレビ衛星中継ははためくがしかし繊維・縫製産業であるということはない
fact1: なにかは御早いならば「それははためくけど繊維・縫製産業でない」ということは事実と異なる fact2: そのテレビ衛星中継は繊維・縫製産業でない fact3: もし仮にその下半身は御早くないとしたら「「そのペットロスは取り除き過ぎるしまた古臭い」ということは成り立たない」ということは成り立つ fact4: そのペットロスがはためくならばあのテレビ衛星中継は繊維・縫製産業でない fact5: その三猿はめでたししさらに高さ形状だ fact6: もしそのテレビ衛星中継が御訪ねるならその下半身は御訪ねるがしかし古臭くない fact7: もし仮に「「ある物は取り除き過ぎないけどそれは古臭い」ということは正しい」ということは成り立たないとしたら取り除き過ぎる fact8: 何かは古臭いとすると「御早い」ということは真実だ fact9: 「そのペットロスは取り除き過ぎるし古臭い」ということは成り立たない fact10: 仮にそのペットロスが仰々しいならばそのテレビ衛星中継は恐れ多い fact11: もしめでたし物が高さ形状であるならその下半身は断食する fact12: 仮にそのペットロスははためかないとしたらそれは取り除き過ぎない一方で御訪ねる fact13: その下半身は御早くない fact14: 仮にそのペットロスははためかないとすると「それは御訪ねる」ということは確かである fact15: もし「そのペットロスは繊維・縫製産業でない」ということは本当であるならば御訪ねないけど古臭い fact16: もしそのペットロスがはためくとすればあのテレビ衛星中継ははためくがそれは繊維・縫製産業でない fact17: 「恐れ多い物は古臭い」ということは成り立つ fact18: そのペットロスは御訪ねる fact19: もしもその下半身は御早くないとすると「そのペットロスは取り除き過ぎないがしかし古臭い」ということは誤っている
void -> assump1: 以下のように仮定する。そのペットロスははためかない; fact12 & assump1 -> int1: 「そのペットロスは取り除き過ぎない一方で御訪ねる」ということは間違いでない; int1 -> int2: そのペットロスは取り除き過ぎない; fact7 -> int3: 仮に「そのペットロスは取り除き過ぎないけど古臭い」ということは事実と異なるとしたら取り除き過ぎる; fact19 & fact13 -> int4: 「そのペットロスは取り除き過ぎないけれど古臭い」ということは間違っている; int3 & int4 -> int5: そのペットロスは取り除き過ぎる; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「そのペットロスははためく」ということは成り立つ; int7 & fact16 -> hypothesis;
「「そのテレビ衛星中継ははためくがしかし繊維・縫製産業だということはない」ということは間違いである」ということは真実だ
fact24 -> int8: そのテレビ衛星中継は御早いとしたら「はためくしまたそれは繊維・縫製産業でない」ということは事実と異なる; fact23 -> int9: もしそのテレビ衛星中継は古臭いなら「御早い」ということは正しい; fact20 -> int10: そのテレビ衛星中継が恐れ多いとしたら古臭い; fact22 -> int11: 「めでたししかつ高さ形状な」ものはある; int11 & fact21 -> int12: その下半身は断食する; int12 -> int13: 「断食する」物はある;
$facts$ = fact1: なにかは御早いならば「それははためくけど繊維・縫製産業でない」ということは事実と異なる fact2: そのテレビ衛星中継は繊維・縫製産業でない fact3: もし仮にその下半身は御早くないとしたら「「そのペットロスは取り除き過ぎるしまた古臭い」ということは成り立たない」ということは成り立つ fact4: そのペットロスがはためくならばあのテレビ衛星中継は繊維・縫製産業でない fact5: その三猿はめでたししさらに高さ形状だ fact6: もしそのテレビ衛星中継が御訪ねるならその下半身は御訪ねるがしかし古臭くない fact7: もし仮に「「ある物は取り除き過ぎないけどそれは古臭い」ということは正しい」ということは成り立たないとしたら取り除き過ぎる fact8: 何かは古臭いとすると「御早い」ということは真実だ fact9: 「そのペットロスは取り除き過ぎるし古臭い」ということは成り立たない fact10: 仮にそのペットロスが仰々しいならばそのテレビ衛星中継は恐れ多い fact11: もしめでたし物が高さ形状であるならその下半身は断食する fact12: 仮にそのペットロスははためかないとしたらそれは取り除き過ぎない一方で御訪ねる fact13: その下半身は御早くない fact14: 仮にそのペットロスははためかないとすると「それは御訪ねる」ということは確かである fact15: もし「そのペットロスは繊維・縫製産業でない」ということは本当であるならば御訪ねないけど古臭い fact16: もしそのペットロスがはためくとすればあのテレビ衛星中継ははためくがそれは繊維・縫製産業でない fact17: 「恐れ多い物は古臭い」ということは成り立つ fact18: そのペットロスは御訪ねる fact19: もしもその下半身は御早くないとすると「そのペットロスは取り除き過ぎないがしかし古臭い」ということは誤っている ; $hypothesis$ = そのテレビ衛星中継ははためくがしかし繊維・縫製産業であるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのペットロスははためかない; fact12 & assump1 -> int1: 「そのペットロスは取り除き過ぎない一方で御訪ねる」ということは間違いでない; int1 -> int2: そのペットロスは取り除き過ぎない; fact7 -> int3: 仮に「そのペットロスは取り除き過ぎないけど古臭い」ということは事実と異なるとしたら取り除き過ぎる; fact19 & fact13 -> int4: 「そのペットロスは取り除き過ぎないけれど古臭い」ということは間違っている; int3 & int4 -> int5: そのペットロスは取り除き過ぎる; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「そのペットロスははためく」ということは成り立つ; int7 & fact16 -> hypothesis; __PROVED__
事実1: なにかは御早いならば「それははためくけど繊維・縫製産業でない」ということは事実と異なる
事実2: そのテレビ衛星中継は繊維・縫製産業でない
事実3: もし仮にその下半身は御早くないとしたら「「そのペットロスは取り除き過ぎるしまた古臭い」ということは成り立たない」ということは成り立つ
事実4: そのペットロスがはためくならばあのテレビ衛星中継は繊維・縫製産業でない
事実5: その三猿はめでたししさらに高さ形状だ
事実6: もしそのテレビ衛星中継が御訪ねるならその下半身は御訪ねるがしかし古臭くない
事実7: もし仮に「「ある物は取り除き過ぎないけどそれは古臭い」ということは正しい」ということは成り立たないとしたら取り除き過ぎる
事実8: 何かは古臭いとすると「御早い」ということは真実だ
事実9: 「そのペットロスは取り除き過ぎるし古臭い」ということは成り立たない
事実10: 仮にそのペットロスが仰々しいならばそのテレビ衛星中継は恐れ多い
事実11: もしめでたし物が高さ形状であるならその下半身は断食する
事実12: 仮にそのペットロスははためかないとしたらそれは取り除き過ぎない一方で御訪ねる
事実13: その下半身は御早くない
事実14: 仮にそのペットロスははためかないとすると「それは御訪ねる」ということは確かである
事実15: もし「そのペットロスは繊維・縫製産業でない」ということは本当であるならば御訪ねないけど古臭い
事実16: もしそのペットロスがはためくとすればあのテレビ衛星中継ははためくがそれは繊維・縫製産業でない
事実17: 「恐れ多い物は古臭い」ということは成り立つ
事実18: そのペットロスは御訪ねる
事実19: もしもその下半身は御早くないとすると「そのペットロスは取り除き過ぎないがしかし古臭い」ということは誤っている

仮説: そのテレビ衛星中継ははためくがしかし繊維・縫製産業であるということはない
1. 仮定1: 以下のように仮定する。そのペットロスははためかない
2. 事実12と仮定1から、推論1: "「そのペットロスは取り除き過ぎない一方で御訪ねる」ということは間違いでない"が導かれる
3. 推論1から、推論2: "そのペットロスは取り除き過ぎない"が導かれる
4. 事実7から、推論3: "仮に「そのペットロスは取り除き過ぎないけど古臭い」ということは事実と異なるとしたら取り除き過ぎる"が導かれる
5. 事実19と事実13から、推論4: "「そのペットロスは取り除き過ぎないけれど古臭い」ということは間違っている"が導かれる
6. 推論3と推論4から、推論5: "そのペットロスは取り除き過ぎる"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「そのペットロスははためく」ということは成り立つ"が導かれる
9. 推論7と事実16から、仮説が導かれる

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