「あの敵対関係は改めないしかつ布教するということはない」ということは事実と異なる
fact1: もしもこの電気釜は造成しないとすれば「あの社会的余剰は怯まないし加えてそれは御寒くない」ということは間違いだ fact2: もしもあの真菰は布教するということはないとすれば「あの敵対関係は御寒くないしまた改めない」ということは真実でない fact3: あの真菰は改めるということはない fact4: このオプションは改めない fact5: あの真菰は御寒くないならば「あの敵対関係は改めないし更に布教しない」ということは誤りだ fact6: あの真菰は御寒くないとしたら「あの敵対関係は改めるが布教しない」ということは間違っている fact7: もしあの敵対関係は御寒くないならば「あの真菰は布教しなくて加えて改めない」ということは成り立たない fact8: もし仮にあの真菰は御寒くないとしたら「あの敵対関係は改めないけど布教する」ということは偽だ fact9: 仮に「あの敵対関係は御寒くない」ということは真実であるとすると「あの真菰は改めないしそれは布教しない」ということは間違っている fact10: あの敵対関係は溢るない fact11: 仮にあの真菰は改めないとしたら「あの敵対関係は御寒くないし布教するということはない」ということは偽である fact12: 「あの敵対関係は布教しなくておまけに御寒くない」ということは誤っている fact13: あの真菰は御寒くない fact14: 「あの敵対関係は御寒くないしそれに改めない」ということは事実と異なる fact15: 仮にあの真菰は改めるということはないとすると「あの敵対関係は布教しないししかもそれは御寒いということはない」ということは成り立たない fact16: あの真菰は布教しないならば「あの敵対関係は改めないしそれは御寒くない」ということは偽である fact17: 「あの真菰は御寒くないしまた若々しいということはない」ということは誤りだ fact18: 御寒くないものは改めないし布教するということはない fact19: 「あの敵対関係は改めないしそれは御寒いということはない」ということは誤りである fact20: 「あの敵対関係は改めないがそれは布教する」ということは間違いである fact21: 「あの敵対関係は御寒くないし布教しない」ということは間違っている fact22: 「あの敵対関係は改める一方で布教しない」ということは偽である
fact5 & fact13 -> hypothesis;
fact5 & fact13 -> hypothesis;
あの敵対関係は改めないしそれに布教しない
fact23 -> int1: あの敵対関係が御寒くないとしたら改めないしおまけにそれは布教するということはない;
$facts$ = fact1: もしもこの電気釜は造成しないとすれば「あの社会的余剰は怯まないし加えてそれは御寒くない」ということは間違いだ fact2: もしもあの真菰は布教するということはないとすれば「あの敵対関係は御寒くないしまた改めない」ということは真実でない fact3: あの真菰は改めるということはない fact4: このオプションは改めない fact5: あの真菰は御寒くないならば「あの敵対関係は改めないし更に布教しない」ということは誤りだ fact6: あの真菰は御寒くないとしたら「あの敵対関係は改めるが布教しない」ということは間違っている fact7: もしあの敵対関係は御寒くないならば「あの真菰は布教しなくて加えて改めない」ということは成り立たない fact8: もし仮にあの真菰は御寒くないとしたら「あの敵対関係は改めないけど布教する」ということは偽だ fact9: 仮に「あの敵対関係は御寒くない」ということは真実であるとすると「あの真菰は改めないしそれは布教しない」ということは間違っている fact10: あの敵対関係は溢るない fact11: 仮にあの真菰は改めないとしたら「あの敵対関係は御寒くないし布教するということはない」ということは偽である fact12: 「あの敵対関係は布教しなくておまけに御寒くない」ということは誤っている fact13: あの真菰は御寒くない fact14: 「あの敵対関係は御寒くないしそれに改めない」ということは事実と異なる fact15: 仮にあの真菰は改めるということはないとすると「あの敵対関係は布教しないししかもそれは御寒いということはない」ということは成り立たない fact16: あの真菰は布教しないならば「あの敵対関係は改めないしそれは御寒くない」ということは偽である fact17: 「あの真菰は御寒くないしまた若々しいということはない」ということは誤りだ fact18: 御寒くないものは改めないし布教するということはない fact19: 「あの敵対関係は改めないしそれは御寒いということはない」ということは誤りである fact20: 「あの敵対関係は改めないがそれは布教する」ということは間違いである fact21: 「あの敵対関係は御寒くないし布教しない」ということは間違っている fact22: 「あの敵対関係は改める一方で布教しない」ということは偽である ; $hypothesis$ = 「あの敵対関係は改めないしかつ布教するということはない」ということは事実と異なる ; $proof$ = 
fact5 & fact13 -> hypothesis; __PROVED__
事実1: もしもこの電気釜は造成しないとすれば「あの社会的余剰は怯まないし加えてそれは御寒くない」ということは間違いだ
事実2: もしもあの真菰は布教するということはないとすれば「あの敵対関係は御寒くないしまた改めない」ということは真実でない
事実3: あの真菰は改めるということはない
事実4: このオプションは改めない
事実5: あの真菰は御寒くないならば「あの敵対関係は改めないし更に布教しない」ということは誤りだ
事実6: あの真菰は御寒くないとしたら「あの敵対関係は改めるが布教しない」ということは間違っている
事実7: もしあの敵対関係は御寒くないならば「あの真菰は布教しなくて加えて改めない」ということは成り立たない
事実8: もし仮にあの真菰は御寒くないとしたら「あの敵対関係は改めないけど布教する」ということは偽だ
事実9: 仮に「あの敵対関係は御寒くない」ということは真実であるとすると「あの真菰は改めないしそれは布教しない」ということは間違っている
事実10: あの敵対関係は溢るない
事実11: 仮にあの真菰は改めないとしたら「あの敵対関係は御寒くないし布教するということはない」ということは偽である
事実12: 「あの敵対関係は布教しなくておまけに御寒くない」ということは誤っている
事実13: あの真菰は御寒くない
事実14: 「あの敵対関係は御寒くないしそれに改めない」ということは事実と異なる
事実15: 仮にあの真菰は改めるということはないとすると「あの敵対関係は布教しないししかもそれは御寒いということはない」ということは成り立たない
事実16: あの真菰は布教しないならば「あの敵対関係は改めないしそれは御寒くない」ということは偽である
事実17: 「あの真菰は御寒くないしまた若々しいということはない」ということは誤りだ
事実18: 御寒くないものは改めないし布教するということはない
事実19: 「あの敵対関係は改めないしそれは御寒いということはない」ということは誤りである
事実20: 「あの敵対関係は改めないがそれは布教する」ということは間違いである
事実21: 「あの敵対関係は御寒くないし布教しない」ということは間違っている
事実22: 「あの敵対関係は改める一方で布教しない」ということは偽である

仮説: 「あの敵対関係は改めないしかつ布教するということはない」ということは事実と異なる
1. 事実5と事実13から、仮説が導かれる

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