「仮に興奮しないとすると「美味しかないしその上断定し難くない」ということは成り立つということはない」ものはある
fact1: 「もし仮に興奮するとすれば「美味しいということはなくて更に断定し難くない」ということは成り立たない」ものはある fact2: 「もし仮に興奮するということはないならば「美味しいしおまけに断定し難くない」ということは嘘な」物はある fact3: 「もしも興奮しないとすれば「美味しいということはないしその上断定し難い」ということは間違いな」ものはある fact4: 仮にこの爪痕は興奮しないとしたら「それは美味しいということはないし断定し難くない」ということは成り立つということはない fact5: 「もしも興奮しないなら美味しかないししかも断定し難くない」ものはある fact6: あるものはポリス共同体でないとしたら「商事裁判官でないし睦まじくない」ということは事実でない fact7: 「この爪痕は上り始めない」ということは間違っていないとすれば「それは謝罪すらないしその上それは断定し難くない」ということは確かでない fact8: 仮にこの爪痕は興奮すれば「「美味しかなくて断定し難くない」ということは偽でない」ということは誤っている fact9: 「もししんどかないならば「幅広くなくて監視し易くない」ということは事実でない」物はある fact10: もしこの発症率は悩まさないとすると「陪席しないし加えて断定し難くない」ということは事実と異なる fact11: もし仮に「あの仲間キャラは断定し難くない」ということは真実だとすると「それは雪深くないしまた普及しない」ということは本当でない fact12: もし仮にこの爪痕は興奮するということはないとしたら「それは美味しいけど断定し難くない」ということは偽である fact13: 仮にこの爪痕は勤めるということはないならば「それが立ち直らないしさらに興奮しない」ということは成り立たない fact14: もしもこの爪痕は美味しかないならば「捜し回らないし語り合えない」ということは成り立たない fact15: もし何かは掛け替えないなら「それは撥ね上げないし読み通さない」ということは事実でない fact16: もし「この爪痕は興奮しない」ということは成り立てばそれは美味しかないし加えて断定し難くない fact17: 「もし仮にこの爪痕は興奮しないとしたら「この爪痕は美味しいということはないがしかし断定し難い」ということは偽である」ということは正しい fact18: もしもあのシベリア征服は御決まらないならば「興奮しなくてその上それは掛け難くない」ということは間違っている
fact4 -> hypothesis;
「掛け替えないとすると「撥ね上げなくてしかも読み通さない」ということは成り立たない」物はある
fact19 -> int1: もし仮にあの十五分後は掛け替えないとしたら「「撥ね上げなくておまけに読み通さない」ということは成り立つ」ということは誤りである; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に興奮するとすれば「美味しいということはなくて更に断定し難くない」ということは成り立たない」ものはある fact2: 「もし仮に興奮するということはないならば「美味しいしおまけに断定し難くない」ということは嘘な」物はある fact3: 「もしも興奮しないとすれば「美味しいということはないしその上断定し難い」ということは間違いな」ものはある fact4: 仮にこの爪痕は興奮しないとしたら「それは美味しいということはないし断定し難くない」ということは成り立つということはない fact5: 「もしも興奮しないなら美味しかないししかも断定し難くない」ものはある fact6: あるものはポリス共同体でないとしたら「商事裁判官でないし睦まじくない」ということは事実でない fact7: 「この爪痕は上り始めない」ということは間違っていないとすれば「それは謝罪すらないしその上それは断定し難くない」ということは確かでない fact8: 仮にこの爪痕は興奮すれば「「美味しかなくて断定し難くない」ということは偽でない」ということは誤っている fact9: 「もししんどかないならば「幅広くなくて監視し易くない」ということは事実でない」物はある fact10: もしこの発症率は悩まさないとすると「陪席しないし加えて断定し難くない」ということは事実と異なる fact11: もし仮に「あの仲間キャラは断定し難くない」ということは真実だとすると「それは雪深くないしまた普及しない」ということは本当でない fact12: もし仮にこの爪痕は興奮するということはないとしたら「それは美味しいけど断定し難くない」ということは偽である fact13: 仮にこの爪痕は勤めるということはないならば「それが立ち直らないしさらに興奮しない」ということは成り立たない fact14: もしもこの爪痕は美味しかないならば「捜し回らないし語り合えない」ということは成り立たない fact15: もし何かは掛け替えないなら「それは撥ね上げないし読み通さない」ということは事実でない fact16: もし「この爪痕は興奮しない」ということは成り立てばそれは美味しかないし加えて断定し難くない fact17: 「もし仮にこの爪痕は興奮しないとしたら「この爪痕は美味しいということはないがしかし断定し難い」ということは偽である」ということは正しい fact18: もしもあのシベリア征服は御決まらないならば「興奮しなくてその上それは掛け難くない」ということは間違っている ; $hypothesis$ = 「仮に興奮しないとすると「美味しかないしその上断定し難くない」ということは成り立つということはない」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「もし仮に興奮するとすれば「美味しいということはなくて更に断定し難くない」ということは成り立たない」ものはある
事実2: 「もし仮に興奮するということはないならば「美味しいしおまけに断定し難くない」ということは嘘な」物はある
事実3: 「もしも興奮しないとすれば「美味しいということはないしその上断定し難い」ということは間違いな」ものはある
事実4: 仮にこの爪痕は興奮しないとしたら「それは美味しいということはないし断定し難くない」ということは成り立つということはない
事実5: 「もしも興奮しないなら美味しかないししかも断定し難くない」ものはある
事実6: あるものはポリス共同体でないとしたら「商事裁判官でないし睦まじくない」ということは事実でない
事実7: 「この爪痕は上り始めない」ということは間違っていないとすれば「それは謝罪すらないしその上それは断定し難くない」ということは確かでない
事実8: 仮にこの爪痕は興奮すれば「「美味しかなくて断定し難くない」ということは偽でない」ということは誤っている
事実9: 「もししんどかないならば「幅広くなくて監視し易くない」ということは事実でない」物はある
事実10: もしこの発症率は悩まさないとすると「陪席しないし加えて断定し難くない」ということは事実と異なる
事実11: もし仮に「あの仲間キャラは断定し難くない」ということは真実だとすると「それは雪深くないしまた普及しない」ということは本当でない
事実12: もし仮にこの爪痕は興奮するということはないとしたら「それは美味しいけど断定し難くない」ということは偽である
事実13: 仮にこの爪痕は勤めるということはないならば「それが立ち直らないしさらに興奮しない」ということは成り立たない
事実14: もしもこの爪痕は美味しかないならば「捜し回らないし語り合えない」ということは成り立たない
事実15: もし何かは掛け替えないなら「それは撥ね上げないし読み通さない」ということは事実でない
事実16: もし「この爪痕は興奮しない」ということは成り立てばそれは美味しかないし加えて断定し難くない
事実17: 「もし仮にこの爪痕は興奮しないとしたら「この爪痕は美味しいということはないがしかし断定し難い」ということは偽である」ということは正しい
事実18: もしもあのシベリア征服は御決まらないならば「興奮しなくてその上それは掛け難くない」ということは間違っている

仮説: 「仮に興奮しないとすると「美味しかないしその上断定し難くない」ということは成り立つということはない」ものはある
1. 事実4から、仮説が導かれる

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