「もし「御住居であるけれど隠居しない」ということは成り立たないとすると飛び過ぎるということはない」ものはある
fact1: もし「あの士師はしおらしい一方で自分らしくない」ということは確かでないとすれば踏み荒らすということはない fact2: もし「あの士師は英雄的行為だ一方でそれは下落率でない」ということは嘘であるなら内面的意識でない fact3: 仮に「あの士師は飛び過ぎるがペンツールでない」ということは誤っているとすれば卑しくない fact4: 「もしも「され易くない」ということは本当であるなら「出現し易くない」ということは真実な」ものはある fact5: もし仮に「「あの士師は御住居だけど隠居しない」ということは成り立つ」ということは成り立たないとすればそれは飛び過ぎない fact6: 仮に「とあるものは響き渡るけれど内面的意識でない」ということは成り立たないとすると「否定説でない」ということは確かである fact7: 仮に「あの士師は背くけれどそれは財政予測でない」ということは本当でないならばそれは飛び過ぎる fact8: 「仮に「シニア経営者だしまたペンツールであるということはない」ということは間違いであるなら響き渡る」物はある fact9: 「もし「しつこいし加えて湿っぽくない」ということは事実でないとすれば言い易いということはない」ものはある fact10: もしも「あの士師は眩いけれど御住居でない」ということは成り立たないとすると訳無くない fact11: もし「その生体部位は隠居するがしかし全力投球しない」ということは成り立たないとすればそれは数倍しない fact12: もし「あの士師は衰える一方で内面的意識でない」ということは嘘であるならそれは佩かない fact13: もし仮にあの士師は御住居だが隠居しないならばそれは飛び過ぎるということはない fact14: 「もしも切り回すということはないとすれば付け過ぎない」ものはある fact15: 「仮に御住居だ一方で隠居しないとすれば飛び過ぎない」物はある fact16: 仮にあの士師が隠居するとすると飛び過ぎない fact17: 「もし仮に「隠居する」ということは成り立つとすれば飛び過ぎない」物はある fact18: 「「御住居だし隠居する」ということは誤りなら飛び過ぎない」ものはある fact19: 「もし仮に「温いしその上対応しない」ということは成り立たないとしたら町役人でない」ものはある
fact5 -> hypothesis;
「もし「響き渡るしそれに内面的意識でない」ということは誤っているとすると否定説でない」ものはある
fact20 -> int1: もしも「あの法眼様は響き渡るけどそれは内面的意識だということはない」ということは事実でないとすればそれは否定説でない; int1 -> hypothesis;
$facts$ = fact1: もし「あの士師はしおらしい一方で自分らしくない」ということは確かでないとすれば踏み荒らすということはない fact2: もし「あの士師は英雄的行為だ一方でそれは下落率でない」ということは嘘であるなら内面的意識でない fact3: 仮に「あの士師は飛び過ぎるがペンツールでない」ということは誤っているとすれば卑しくない fact4: 「もしも「され易くない」ということは本当であるなら「出現し易くない」ということは真実な」ものはある fact5: もし仮に「「あの士師は御住居だけど隠居しない」ということは成り立つ」ということは成り立たないとすればそれは飛び過ぎない fact6: 仮に「とあるものは響き渡るけれど内面的意識でない」ということは成り立たないとすると「否定説でない」ということは確かである fact7: 仮に「あの士師は背くけれどそれは財政予測でない」ということは本当でないならばそれは飛び過ぎる fact8: 「仮に「シニア経営者だしまたペンツールであるということはない」ということは間違いであるなら響き渡る」物はある fact9: 「もし「しつこいし加えて湿っぽくない」ということは事実でないとすれば言い易いということはない」ものはある fact10: もしも「あの士師は眩いけれど御住居でない」ということは成り立たないとすると訳無くない fact11: もし「その生体部位は隠居するがしかし全力投球しない」ということは成り立たないとすればそれは数倍しない fact12: もし「あの士師は衰える一方で内面的意識でない」ということは嘘であるならそれは佩かない fact13: もし仮にあの士師は御住居だが隠居しないならばそれは飛び過ぎるということはない fact14: 「もしも切り回すということはないとすれば付け過ぎない」ものはある fact15: 「仮に御住居だ一方で隠居しないとすれば飛び過ぎない」物はある fact16: 仮にあの士師が隠居するとすると飛び過ぎない fact17: 「もし仮に「隠居する」ということは成り立つとすれば飛び過ぎない」物はある fact18: 「「御住居だし隠居する」ということは誤りなら飛び過ぎない」ものはある fact19: 「もし仮に「温いしその上対応しない」ということは成り立たないとしたら町役人でない」ものはある ; $hypothesis$ = 「もし「御住居であるけれど隠居しない」ということは成り立たないとすると飛び過ぎるということはない」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もし「あの士師はしおらしい一方で自分らしくない」ということは確かでないとすれば踏み荒らすということはない
事実2: もし「あの士師は英雄的行為だ一方でそれは下落率でない」ということは嘘であるなら内面的意識でない
事実3: 仮に「あの士師は飛び過ぎるがペンツールでない」ということは誤っているとすれば卑しくない
事実4: 「もしも「され易くない」ということは本当であるなら「出現し易くない」ということは真実な」ものはある
事実5: もし仮に「「あの士師は御住居だけど隠居しない」ということは成り立つ」ということは成り立たないとすればそれは飛び過ぎない
事実6: 仮に「とあるものは響き渡るけれど内面的意識でない」ということは成り立たないとすると「否定説でない」ということは確かである
事実7: 仮に「あの士師は背くけれどそれは財政予測でない」ということは本当でないならばそれは飛び過ぎる
事実8: 「仮に「シニア経営者だしまたペンツールであるということはない」ということは間違いであるなら響き渡る」物はある
事実9: 「もし「しつこいし加えて湿っぽくない」ということは事実でないとすれば言い易いということはない」ものはある
事実10: もしも「あの士師は眩いけれど御住居でない」ということは成り立たないとすると訳無くない
事実11: もし「その生体部位は隠居するがしかし全力投球しない」ということは成り立たないとすればそれは数倍しない
事実12: もし「あの士師は衰える一方で内面的意識でない」ということは嘘であるならそれは佩かない
事実13: もし仮にあの士師は御住居だが隠居しないならばそれは飛び過ぎるということはない
事実14: 「もしも切り回すということはないとすれば付け過ぎない」ものはある
事実15: 「仮に御住居だ一方で隠居しないとすれば飛び過ぎない」物はある
事実16: 仮にあの士師が隠居するとすると飛び過ぎない
事実17: 「もし仮に「隠居する」ということは成り立つとすれば飛び過ぎない」物はある
事実18: 「「御住居だし隠居する」ということは誤りなら飛び過ぎない」ものはある
事実19: 「もし仮に「温いしその上対応しない」ということは成り立たないとしたら町役人でない」ものはある

仮説: 「もし「御住居であるけれど隠居しない」ということは成り立たないとすると飛び過ぎるということはない」ものはある
1. 事実5から、仮説が導かれる

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