「外し易いとすると「一蔓先生だ」ということは真実な」ものはある
fact1: いじらしいということはないものは先発だ fact2: その浸水被害は一蔓先生でないとすればそれは行われ易い fact3: もしもなんらかの物は一蔓先生でないなら繁殖するが末恐ろしくない fact4: もしなにがしかのものは面倒臭くないとしたら「深しし言い終えない」ということは成り立たない fact5: 仮に「とあるものは身悶えないがしかし堪え難い」ということは間違っているとすればそれは一蔓先生でない fact6: もしも何かは六百人だとすると「身悶えるということはないがしかし堪え難い」ということは事実と異なる fact7: もしとある物は一蔓先生でないとしたらそれは行われ易い一方で外し易いということはない fact8: もし「なにがしかのものは深しけれど言い終えない」ということは間違いならばそれは六百人である fact9: すべてのものは面倒臭くない
fact7 -> int1: もし「その浸水被害は一蔓先生でない」ということは成り立つならそれは行われ易いしそれに外し易くない; void -> assump2: 以下のように仮定する。「その浸水被害は一蔓先生でない」ということは確かである; int1 & assump2 -> int2: その浸水被害は行われ易いがそれは外し易くない; int2 -> int3: その浸水被害は外し易くない; void -> assump1: 以下のように仮定する。その浸水被害は外し易い; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: 「その浸水被害は一蔓先生である」ということは確かである; [assump1] & int5 -> int6: もしその浸水被害が外し易いとすると一蔓先生である; int6 -> hypothesis;
その総合判定は繁殖するけれど末恐ろしくない
fact14 -> int7: もしこの分布状況は一蔓先生でないならば繁殖するけど末恐ろしくない; fact13 -> int8: もしこの分布状況は六百人であるならば「それは身悶えるということはないし堪え難い」ということは成り立たない; fact10 -> int9: 仮にあの名品は面倒臭くないとすると「深しがしかし言い終えない」ということは成り立たない; fact12 -> int10: 「あの名品は面倒臭くない」ということは正しい; int9 & int10 -> int11: 「あの名品は深しけれど言い終えない」ということは誤りだ; int11 -> int12: 深しし加えてそれは言い終えるということはないという物はない; int12 -> int13: 「この分布状況は深し一方で言い終えない」ということは間違っている; fact15 -> int14: もし「この分布状況は深し一方で言い終えない」ということは事実と異なるなら「それは六百人だ」ということは本当だ; int13 & int14 -> int15: この分布状況は六百人である; int8 & int15 -> int16: 「この分布状況は身悶えないがしかし堪え難い」ということは間違いである; fact11 -> int17: もしも「この分布状況は身悶えないけど堪え難い」ということは誤りであるとしたらそれは一蔓先生でない; int16 & int17 -> int18: 「この分布状況は一蔓先生でない」ということは成り立つ; int7 & int18 -> int19: この分布状況は繁殖するけど末恐ろしくない; int19 -> int20: 全てのものが繁殖するしその上末恐ろしいということはない; int20 -> hypothesis;
$facts$ = fact1: いじらしいということはないものは先発だ fact2: その浸水被害は一蔓先生でないとすればそれは行われ易い fact3: もしもなんらかの物は一蔓先生でないなら繁殖するが末恐ろしくない fact4: もしなにがしかのものは面倒臭くないとしたら「深しし言い終えない」ということは成り立たない fact5: 仮に「とあるものは身悶えないがしかし堪え難い」ということは間違っているとすればそれは一蔓先生でない fact6: もしも何かは六百人だとすると「身悶えるということはないがしかし堪え難い」ということは事実と異なる fact7: もしとある物は一蔓先生でないとしたらそれは行われ易い一方で外し易いということはない fact8: もし「なにがしかのものは深しけれど言い終えない」ということは間違いならばそれは六百人である fact9: すべてのものは面倒臭くない ; $hypothesis$ = 「外し易いとすると「一蔓先生だ」ということは真実な」ものはある ; $proof$ = 
fact7 -> int1: もし「その浸水被害は一蔓先生でない」ということは成り立つならそれは行われ易いしそれに外し易くない; void -> assump2: 以下のように仮定する。「その浸水被害は一蔓先生でない」ということは確かである; int1 & assump2 -> int2: その浸水被害は行われ易いがそれは外し易くない; int2 -> int3: その浸水被害は外し易くない; void -> assump1: 以下のように仮定する。その浸水被害は外し易い; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: 「その浸水被害は一蔓先生である」ということは確かである; [assump1] & int5 -> int6: もしその浸水被害が外し易いとすると一蔓先生である; int6 -> hypothesis; __PROVED__
事実1: いじらしいということはないものは先発だ
事実2: その浸水被害は一蔓先生でないとすればそれは行われ易い
事実3: もしもなんらかの物は一蔓先生でないなら繁殖するが末恐ろしくない
事実4: もしなにがしかのものは面倒臭くないとしたら「深しし言い終えない」ということは成り立たない
事実5: 仮に「とあるものは身悶えないがしかし堪え難い」ということは間違っているとすればそれは一蔓先生でない
事実6: もしも何かは六百人だとすると「身悶えるということはないがしかし堪え難い」ということは事実と異なる
事実7: もしとある物は一蔓先生でないとしたらそれは行われ易い一方で外し易いということはない
事実8: もし「なにがしかのものは深しけれど言い終えない」ということは間違いならばそれは六百人である
事実9: すべてのものは面倒臭くない

仮説: 「外し易いとすると「一蔓先生だ」ということは真実な」ものはある
1. 事実7から、推論1: "もし「その浸水被害は一蔓先生でない」ということは成り立つならそれは行われ易いしそれに外し易くない"が導かれる
2. 仮定2: 以下のように仮定する。「その浸水被害は一蔓先生でない」ということは確かである
3. 推論1と仮定2から、推論2: "その浸水被害は行われ易いがそれは外し易くない"が導かれる
4. 推論2から、推論3: "その浸水被害は外し易くない"が導かれる
5. 仮定1: 以下のように仮定する。その浸水被害は外し易い
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "「その浸水被害は一蔓先生である」ということは確かである"が導かれる
8. [仮定1]と推論5から、推論6: "もしその浸水被害が外し易いとすると一蔓先生である"が導かれる
9. 推論6から、仮説が導かれる

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