「あの窓ガラスは御試し有らないがしかし成り易い」ということは事実と異なる
fact1: もしも「とある物は理屈っぽくないがそれは除名である」ということは間違いであるとするとそれはホワイトソースでない fact2: 「あの窓ガラスは御試し有るし更に成り易い」ということは成り立たない fact3: その先陣争いは開催場所であるとすると「この意思表示は理屈っぽいということはない一方で除名である」ということは誤りである fact4: 「あるものは輸入出来るが御試し有らない」ということは成り立たないならば能古見人形でない fact5: このＣＲＰ高値が開明しないしかつ成長振りでないならあの一都は開明しない fact6: 「その先陣争いは開催場所だ」ということは成り立つ fact7: もし「あの論理的説明はホワイトソースでないが除名だ」ということは嘘であるならそれは成長振りでない fact8: 仮になんらかのものは理屈っぽいとしたら「ホワイトソースであるということはなくて加えて除名である」ということは間違いだ fact9: あの一都は有機質だし加えて物らしい fact10: どれもこれもは理屈っぽくて開催場所である fact11: あの筋紡錘は有機質である fact12: もし仮にあの筋紡錘が能古見人形であるならあの一都は御試し有る fact13: 仮にあの一都は御試し有るとすれば「あの窓ガラスは御試し有るしそれは成り易い」ということは間違いである fact14: もしもなにかは成り易いならば「それは輸入出来るがしかし御試し有らない」ということは嘘だ fact15: この資本金規模はＫＦＳであってしかもオーダーする fact16: もし仮にある物は成長振りでないならばそれは成り易くてそれに開明する fact17: もしあの一都が開明しないとするとあの筋紡錘は能古見人形であるかあるいは輸入出来るかあるいは両方ともである fact18: 何らかの物は能古見人形でないならそれは有機質だ fact19: 「あの一都は有機質だ」ということは事実だ fact20: あの筋紡錘が有機質だしおまけにそれは能古見人形である fact21: もし仮にあの一都は御試し有れば「あの窓ガラスは御試し有らない一方で成り易い」ということは事実でない
fact20 -> int1: あの筋紡錘は能古見人形だ; int1 & fact12 -> int2: あの一都は御試し有る; int2 & fact21 -> hypothesis;
fact20 -> int1: {B}{a}; int1 & fact12 -> int2: {C}{b}; int2 & fact21 -> hypothesis;
あの窓ガラスは御試し有るということはないがしかしそれは成り易い
fact22 -> int3: もし仮に「この意思表示は理屈っぽくないけれど除名だ」ということは誤っていればそれはホワイトソースだということはない; fact25 & fact26 -> int4: 「この意思表示は理屈っぽくないけれど除名だ」ということは成り立つということはない; int3 & int4 -> int5: この意思表示はホワイトソースでない; int5 -> int6: 「ホワイトソースでない」ものはある;
$facts$ = fact1: もしも「とある物は理屈っぽくないがそれは除名である」ということは間違いであるとするとそれはホワイトソースでない fact2: 「あの窓ガラスは御試し有るし更に成り易い」ということは成り立たない fact3: その先陣争いは開催場所であるとすると「この意思表示は理屈っぽいということはない一方で除名である」ということは誤りである fact4: 「あるものは輸入出来るが御試し有らない」ということは成り立たないならば能古見人形でない fact5: このＣＲＰ高値が開明しないしかつ成長振りでないならあの一都は開明しない fact6: 「その先陣争いは開催場所だ」ということは成り立つ fact7: もし「あの論理的説明はホワイトソースでないが除名だ」ということは嘘であるならそれは成長振りでない fact8: 仮になんらかのものは理屈っぽいとしたら「ホワイトソースであるということはなくて加えて除名である」ということは間違いだ fact9: あの一都は有機質だし加えて物らしい fact10: どれもこれもは理屈っぽくて開催場所である fact11: あの筋紡錘は有機質である fact12: もし仮にあの筋紡錘が能古見人形であるならあの一都は御試し有る fact13: 仮にあの一都は御試し有るとすれば「あの窓ガラスは御試し有るしそれは成り易い」ということは間違いである fact14: もしもなにかは成り易いならば「それは輸入出来るがしかし御試し有らない」ということは嘘だ fact15: この資本金規模はＫＦＳであってしかもオーダーする fact16: もし仮にある物は成長振りでないならばそれは成り易くてそれに開明する fact17: もしあの一都が開明しないとするとあの筋紡錘は能古見人形であるかあるいは輸入出来るかあるいは両方ともである fact18: 何らかの物は能古見人形でないならそれは有機質だ fact19: 「あの一都は有機質だ」ということは事実だ fact20: あの筋紡錘が有機質だしおまけにそれは能古見人形である fact21: もし仮にあの一都は御試し有れば「あの窓ガラスは御試し有らない一方で成り易い」ということは事実でない ; $hypothesis$ = 「あの窓ガラスは御試し有らないがしかし成り易い」ということは事実と異なる ; $proof$ = 
fact20 -> int1: あの筋紡錘は能古見人形だ; int1 & fact12 -> int2: あの一都は御試し有る; int2 & fact21 -> hypothesis; __PROVED__
事実1: もしも「とある物は理屈っぽくないがそれは除名である」ということは間違いであるとするとそれはホワイトソースでない
事実2: 「あの窓ガラスは御試し有るし更に成り易い」ということは成り立たない
事実3: その先陣争いは開催場所であるとすると「この意思表示は理屈っぽいということはない一方で除名である」ということは誤りである
事実4: 「あるものは輸入出来るが御試し有らない」ということは成り立たないならば能古見人形でない
事実5: このＣＲＰ高値が開明しないしかつ成長振りでないならあの一都は開明しない
事実6: 「その先陣争いは開催場所だ」ということは成り立つ
事実7: もし「あの論理的説明はホワイトソースでないが除名だ」ということは嘘であるならそれは成長振りでない
事実8: 仮になんらかのものは理屈っぽいとしたら「ホワイトソースであるということはなくて加えて除名である」ということは間違いだ
事実9: あの一都は有機質だし加えて物らしい
事実10: どれもこれもは理屈っぽくて開催場所である
事実11: あの筋紡錘は有機質である
事実12: もし仮にあの筋紡錘が能古見人形であるならあの一都は御試し有る
事実13: 仮にあの一都は御試し有るとすれば「あの窓ガラスは御試し有るしそれは成り易い」ということは間違いである
事実14: もしもなにかは成り易いならば「それは輸入出来るがしかし御試し有らない」ということは嘘だ
事実15: この資本金規模はＫＦＳであってしかもオーダーする
事実16: もし仮にある物は成長振りでないならばそれは成り易くてそれに開明する
事実17: もしあの一都が開明しないとするとあの筋紡錘は能古見人形であるかあるいは輸入出来るかあるいは両方ともである
事実18: 何らかの物は能古見人形でないならそれは有機質だ
事実19: 「あの一都は有機質だ」ということは事実だ
事実20: あの筋紡錘が有機質だしおまけにそれは能古見人形である
事実21: もし仮にあの一都は御試し有れば「あの窓ガラスは御試し有らない一方で成り易い」ということは事実でない

仮説: 「あの窓ガラスは御試し有らないがしかし成り易い」ということは事実と異なる
1. 事実20から、推論1: "あの筋紡錘は能古見人形だ"が導かれる
2. 推論1と事実12から、推論2: "あの一都は御試し有る"が導かれる
3. 推論2と事実21から、仮説が導かれる

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