その公私混同は再発行する
fact1: 仮に「転換でない」物があるとしたらその公私混同は汚らしくないが切り回す fact2: もしもとある物が自己都合退職しないけれど晴れ渡れば流れ易い fact3: あのグランド・アーケードは高度技術であるということはないがしかし御尋ね致す fact4: なんらかのものは御尋ね致す fact5: 雄々しいし暑いものは再発行する fact6: 「御尋ね致さない」物はある fact7: あの高等動物はサブトラクションでないがそれは雄々しい fact8: もしもとある物は揮発し易いとすると「暑くないしさらにちょろくない」ということは真実でない fact9: もし何らかのものが御尋ね致すということはないとすればその公私混同は雄々しいということはない一方で暑い fact10: もしなにがしかのものが御尋ね致さないとしたらその公私混同は雄々しかない fact11: もし仮にその各所は総合的実現であるということはないけど触れ掛けるとすればそれは増え難い fact12: 仮にその公私混同は叩頭しないけれど触れ掛ければ「それは暑い」ということは成り立つ fact13: 雄々しかないものが暑いならば再発行する fact14: もしその公私混同は雄々しいしまた暑いとしたら「それは再発行する」ということは事実と異ならない fact15: その公私混同は雄々しかない fact16: 仮に「なにかは暑くないしちょろくない」ということは偽であるとすると雄々しかない
fact6 & fact9 -> int1: その公私混同は雄々しかないがしかし暑い; fact13 -> int2: もしもその公私混同は雄々しいということはないけど暑いとするとそれは再発行する; int1 & int2 -> hypothesis;
その公私混同は再発行しない
fact18 -> int3: もし「その公私混同は暑くないし加えてちょろくない」ということは間違いなら雄々しかない; fact17 -> int4: 「その公私混同は揮発し易い」ということは事実だとすれば「暑くなくてしかもちょろくない」ということは誤っている;
$facts$ = fact1: 仮に「転換でない」物があるとしたらその公私混同は汚らしくないが切り回す fact2: もしもとある物が自己都合退職しないけれど晴れ渡れば流れ易い fact3: あのグランド・アーケードは高度技術であるということはないがしかし御尋ね致す fact4: なんらかのものは御尋ね致す fact5: 雄々しいし暑いものは再発行する fact6: 「御尋ね致さない」物はある fact7: あの高等動物はサブトラクションでないがそれは雄々しい fact8: もしもとある物は揮発し易いとすると「暑くないしさらにちょろくない」ということは真実でない fact9: もし何らかのものが御尋ね致すということはないとすればその公私混同は雄々しいということはない一方で暑い fact10: もしなにがしかのものが御尋ね致さないとしたらその公私混同は雄々しかない fact11: もし仮にその各所は総合的実現であるということはないけど触れ掛けるとすればそれは増え難い fact12: 仮にその公私混同は叩頭しないけれど触れ掛ければ「それは暑い」ということは成り立つ fact13: 雄々しかないものが暑いならば再発行する fact14: もしその公私混同は雄々しいしまた暑いとしたら「それは再発行する」ということは事実と異ならない fact15: その公私混同は雄々しかない fact16: 仮に「なにかは暑くないしちょろくない」ということは偽であるとすると雄々しかない ; $hypothesis$ = その公私混同は再発行する ; $proof$ = 
fact6 & fact9 -> int1: その公私混同は雄々しかないがしかし暑い; fact13 -> int2: もしもその公私混同は雄々しいということはないけど暑いとするとそれは再発行する; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮に「転換でない」物があるとしたらその公私混同は汚らしくないが切り回す
事実2: もしもとある物が自己都合退職しないけれど晴れ渡れば流れ易い
事実3: あのグランド・アーケードは高度技術であるということはないがしかし御尋ね致す
事実4: なんらかのものは御尋ね致す
事実5: 雄々しいし暑いものは再発行する
事実6: 「御尋ね致さない」物はある
事実7: あの高等動物はサブトラクションでないがそれは雄々しい
事実8: もしもとある物は揮発し易いとすると「暑くないしさらにちょろくない」ということは真実でない
事実9: もし何らかのものが御尋ね致すということはないとすればその公私混同は雄々しいということはない一方で暑い
事実10: もしなにがしかのものが御尋ね致さないとしたらその公私混同は雄々しかない
事実11: もし仮にその各所は総合的実現であるということはないけど触れ掛けるとすればそれは増え難い
事実12: 仮にその公私混同は叩頭しないけれど触れ掛ければ「それは暑い」ということは成り立つ
事実13: 雄々しかないものが暑いならば再発行する
事実14: もしその公私混同は雄々しいしまた暑いとしたら「それは再発行する」ということは事実と異ならない
事実15: その公私混同は雄々しかない
事実16: 仮に「なにかは暑くないしちょろくない」ということは偽であるとすると雄々しかない

仮説: その公私混同は再発行する
1. 事実6と事実9から、推論1: "その公私混同は雄々しかないがしかし暑い"が導かれる
2. 事実13から、推論2: "もしもその公私混同は雄々しいということはないけど暑いとするとそれは再発行する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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