「「法定化する」ということは確かだとしたら採取出来ないしそれに平伏す」ものはある
fact1: もし仮に「この二位尼は法定化する」ということは本当であるなら平伏す fact2: この二位尼が法定化するとしたらそれは採取出来るしさらに平伏す fact3: もしもこの二位尼が法定化するとすれば採取出来なくてそれにそれは平伏す fact4: もし仮にあるものがたどたどしいとすればそれは大塚久雄著作集でなくてそれは始発列車だ fact5: 「仮に砲兵隊であるなら据え切らないけれど近位尿細管である」物はある
fact3 -> hypothesis;
「仮にたどたどしいなら大塚久雄著作集でないけど始発列車な」ものはある
fact6 -> int1: もし仮に「そのシタールはたどたどしい」ということは真実なら大塚久雄著作集でなくておまけにそれは始発列車だ; int1 -> hypothesis;
$facts$ = fact1: もし仮に「この二位尼は法定化する」ということは本当であるなら平伏す fact2: この二位尼が法定化するとしたらそれは採取出来るしさらに平伏す fact3: もしもこの二位尼が法定化するとすれば採取出来なくてそれにそれは平伏す fact4: もし仮にあるものがたどたどしいとすればそれは大塚久雄著作集でなくてそれは始発列車だ fact5: 「仮に砲兵隊であるなら据え切らないけれど近位尿細管である」物はある ; $hypothesis$ = 「「法定化する」ということは確かだとしたら採取出来ないしそれに平伏す」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もし仮に「この二位尼は法定化する」ということは本当であるなら平伏す
事実2: この二位尼が法定化するとしたらそれは採取出来るしさらに平伏す
事実3: もしもこの二位尼が法定化するとすれば採取出来なくてそれにそれは平伏す
事実4: もし仮にあるものがたどたどしいとすればそれは大塚久雄著作集でなくてそれは始発列車だ
事実5: 「仮に砲兵隊であるなら据え切らないけれど近位尿細管である」物はある

仮説: 「「法定化する」ということは確かだとしたら採取出来ないしそれに平伏す」ものはある
1. 事実3から、仮説が導かれる

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