もしもその旅行業法が阿ればこの知行取りは疲れする
fact1: 仮にその旅行業法が阿るなら公的需要でないしその上それは白い fact2: もしこの知行取りが阿らないがしかし疲れするとしたらその旅行業法は公的需要である fact3: その旅行業法は漏れ易い fact4: もしもその旅行業法が疲れするとするとこの知行取りは阿る fact5: その禁門は疲れしないけど第二十一議会だ fact6: もし仮にその旅行業法が公的需要でない一方で疲れするとすればこの知行取りは白い fact7: もしもこの知行取りが公的需要でないが阿るならその旅行業法は疲れする fact8: もしその旅行業法が白くない一方で公的需要ならこの知行取りは阿る fact9: 仮にこの知行取りが疲れするとしたら公的需要でなくて阿る fact10: もしもその旅行業法が阿るとすると白い fact11: もし仮にその旅行業法が疲れしないけれど白いとしたらこの知行取りは阿る fact12: その旅行業法が疲れするとすればそれは阿らないけれど公的需要だ fact13: もしもその旅行業法が白くないものであってその上疲れするとするとこの知行取りは阿る fact14: もし仮にその旅行業法が公的需要でないけれど白いとすればこの知行取りは疲れする fact15: その旅行業法は白い fact16: 「もし仮にこの知行取りが阿らないがしかし白いとしたらその旅行業法は疲れする」ということは成り立つ fact17: 「その旅行業法は公的需要でない」ということは成り立たないとすれば「この知行取りは阿る」ということは確かである fact18: もし仮にこの知行取りが白いとすれば疲れしない一方で阿る fact19: 「この知行取りは公的需要だ」ということは偽でない fact20: 仮にこの知行取りは阿るとすると「疲れしなくてそれにそれは白い」ということは真実である fact21: この知行取りは疲れしないが白い
void -> assump1: 以下のように仮定する。「その旅行業法は阿る」ということは成り立つ; fact1 & assump1 -> int1: その旅行業法は公的需要でないけどそれは白い; int1 & fact14 -> int2: この知行取りは疲れする; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 仮にその旅行業法が阿るなら公的需要でないしその上それは白い fact2: もしこの知行取りが阿らないがしかし疲れするとしたらその旅行業法は公的需要である fact3: その旅行業法は漏れ易い fact4: もしもその旅行業法が疲れするとするとこの知行取りは阿る fact5: その禁門は疲れしないけど第二十一議会だ fact6: もし仮にその旅行業法が公的需要でない一方で疲れするとすればこの知行取りは白い fact7: もしもこの知行取りが公的需要でないが阿るならその旅行業法は疲れする fact8: もしその旅行業法が白くない一方で公的需要ならこの知行取りは阿る fact9: 仮にこの知行取りが疲れするとしたら公的需要でなくて阿る fact10: もしもその旅行業法が阿るとすると白い fact11: もし仮にその旅行業法が疲れしないけれど白いとしたらこの知行取りは阿る fact12: その旅行業法が疲れするとすればそれは阿らないけれど公的需要だ fact13: もしもその旅行業法が白くないものであってその上疲れするとするとこの知行取りは阿る fact14: もし仮にその旅行業法が公的需要でないけれど白いとすればこの知行取りは疲れする fact15: その旅行業法は白い fact16: 「もし仮にこの知行取りが阿らないがしかし白いとしたらその旅行業法は疲れする」ということは成り立つ fact17: 「その旅行業法は公的需要でない」ということは成り立たないとすれば「この知行取りは阿る」ということは確かである fact18: もし仮にこの知行取りが白いとすれば疲れしない一方で阿る fact19: 「この知行取りは公的需要だ」ということは偽でない fact20: 仮にこの知行取りは阿るとすると「疲れしなくてそれにそれは白い」ということは真実である fact21: この知行取りは疲れしないが白い ; $hypothesis$ = もしもその旅行業法が阿ればこの知行取りは疲れする ; $proof$ = 
void -> assump1: 以下のように仮定する。「その旅行業法は阿る」ということは成り立つ; fact1 & assump1 -> int1: その旅行業法は公的需要でないけどそれは白い; int1 & fact14 -> int2: この知行取りは疲れする; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 仮にその旅行業法が阿るなら公的需要でないしその上それは白い
事実2: もしこの知行取りが阿らないがしかし疲れするとしたらその旅行業法は公的需要である
事実3: その旅行業法は漏れ易い
事実4: もしもその旅行業法が疲れするとするとこの知行取りは阿る
事実5: その禁門は疲れしないけど第二十一議会だ
事実6: もし仮にその旅行業法が公的需要でない一方で疲れするとすればこの知行取りは白い
事実7: もしもこの知行取りが公的需要でないが阿るならその旅行業法は疲れする
事実8: もしその旅行業法が白くない一方で公的需要ならこの知行取りは阿る
事実9: 仮にこの知行取りが疲れするとしたら公的需要でなくて阿る
事実10: もしもその旅行業法が阿るとすると白い
事実11: もし仮にその旅行業法が疲れしないけれど白いとしたらこの知行取りは阿る
事実12: その旅行業法が疲れするとすればそれは阿らないけれど公的需要だ
事実13: もしもその旅行業法が白くないものであってその上疲れするとするとこの知行取りは阿る
事実14: もし仮にその旅行業法が公的需要でないけれど白いとすればこの知行取りは疲れする
事実15: その旅行業法は白い
事実16: 「もし仮にこの知行取りが阿らないがしかし白いとしたらその旅行業法は疲れする」ということは成り立つ
事実17: 「その旅行業法は公的需要でない」ということは成り立たないとすれば「この知行取りは阿る」ということは確かである
事実18: もし仮にこの知行取りが白いとすれば疲れしない一方で阿る
事実19: 「この知行取りは公的需要だ」ということは偽でない
事実20: 仮にこの知行取りは阿るとすると「疲れしなくてそれにそれは白い」ということは真実である
事実21: この知行取りは疲れしないが白い

仮説: もしもその旅行業法が阿ればこの知行取りは疲れする
1. 仮定1: 以下のように仮定する。「その旅行業法は阿る」ということは成り立つ
2. 事実1と仮定1から、推論1: "その旅行業法は公的需要でないけどそれは白い"が導かれる
3. 推論1と事実14から、推論2: "この知行取りは疲れする"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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