その二十ページ参照は選る
fact1: 仮になんらかのものは消化剤であるけれど見過ごし難くないとしたら選る fact2: 仮にこの医家が離れ離れでないとすればその二十ページ参照は見過ごし難くない fact3: 仮にこの医家が井戸神ならばそれは選るかもしくはそれは結び付き難くない fact4: もし「なんらかのものは実現し易い一方で下がらない」ということは成り立たないとすれば井戸神である fact5: その二十ページ参照は井戸神であるとすると「この医家は井戸神である」ということは確かである fact6: もし仮にこの自己臭体験がバランス良いならその益金・損金算入等は幹事長でなくて更にディスカウントストアでない fact7: もしもある物は井戸神であるとすればそれは結び付き難い fact8: 仮に何かは下がるとするとそれは井戸神だ fact9: もし仮に「「幹事長であるしかつ実現し易い」ということは本当でない」物があるならこの医家は下がる fact10: その二十ページ参照は見過ごし難くない fact11: 仮にこの医家が離れ離れだということはないならその二十ページ参照は消化剤であるけれど見過ごし難くない fact12: 「その益金・損金算入等は幹事長でないとすれば「その二十ページ参照は実現し易い一方で下がらない」ということは偽だ」ということは成り立つ fact13: その益金・損金算入等はディスカウントストアでない fact14: もし仮に「その益金・損金算入等はディスカウントストアでない」ということは真実ならば「幹事長であるしそれは実現し易い」ということは成り立たない fact15: 「その二十ページ参照は選るしかつ離れ離れである」ということは成り立てばそれは見過ごし難い fact16: この医家は離れ離れであるということはない
fact11 & fact16 -> int1: その二十ページ参照は消化剤だけど見過ごし難くない; fact1 -> int2: その二十ページ参照が消化剤である一方でそれが見過ごし難くないとすれば選る; int1 & int2 -> hypothesis;
あの生徒指導は離れ離れでない
fact17 -> int3: 「その二十ページ参照は実現し易いけれど下がらない」ということは成り立たないなら井戸神だ;
$facts$ = fact1: 仮になんらかのものは消化剤であるけれど見過ごし難くないとしたら選る fact2: 仮にこの医家が離れ離れでないとすればその二十ページ参照は見過ごし難くない fact3: 仮にこの医家が井戸神ならばそれは選るかもしくはそれは結び付き難くない fact4: もし「なんらかのものは実現し易い一方で下がらない」ということは成り立たないとすれば井戸神である fact5: その二十ページ参照は井戸神であるとすると「この医家は井戸神である」ということは確かである fact6: もし仮にこの自己臭体験がバランス良いならその益金・損金算入等は幹事長でなくて更にディスカウントストアでない fact7: もしもある物は井戸神であるとすればそれは結び付き難い fact8: 仮に何かは下がるとするとそれは井戸神だ fact9: もし仮に「「幹事長であるしかつ実現し易い」ということは本当でない」物があるならこの医家は下がる fact10: その二十ページ参照は見過ごし難くない fact11: 仮にこの医家が離れ離れだということはないならその二十ページ参照は消化剤であるけれど見過ごし難くない fact12: 「その益金・損金算入等は幹事長でないとすれば「その二十ページ参照は実現し易い一方で下がらない」ということは偽だ」ということは成り立つ fact13: その益金・損金算入等はディスカウントストアでない fact14: もし仮に「その益金・損金算入等はディスカウントストアでない」ということは真実ならば「幹事長であるしそれは実現し易い」ということは成り立たない fact15: 「その二十ページ参照は選るしかつ離れ離れである」ということは成り立てばそれは見過ごし難い fact16: この医家は離れ離れであるということはない ; $hypothesis$ = その二十ページ参照は選る ; $proof$ = 
fact11 & fact16 -> int1: その二十ページ参照は消化剤だけど見過ごし難くない; fact1 -> int2: その二十ページ参照が消化剤である一方でそれが見過ごし難くないとすれば選る; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮になんらかのものは消化剤であるけれど見過ごし難くないとしたら選る
事実2: 仮にこの医家が離れ離れでないとすればその二十ページ参照は見過ごし難くない
事実3: 仮にこの医家が井戸神ならばそれは選るかもしくはそれは結び付き難くない
事実4: もし「なんらかのものは実現し易い一方で下がらない」ということは成り立たないとすれば井戸神である
事実5: その二十ページ参照は井戸神であるとすると「この医家は井戸神である」ということは確かである
事実6: もし仮にこの自己臭体験がバランス良いならその益金・損金算入等は幹事長でなくて更にディスカウントストアでない
事実7: もしもある物は井戸神であるとすればそれは結び付き難い
事実8: 仮に何かは下がるとするとそれは井戸神だ
事実9: もし仮に「「幹事長であるしかつ実現し易い」ということは本当でない」物があるならこの医家は下がる
事実10: その二十ページ参照は見過ごし難くない
事実11: 仮にこの医家が離れ離れだということはないならその二十ページ参照は消化剤であるけれど見過ごし難くない
事実12: 「その益金・損金算入等は幹事長でないとすれば「その二十ページ参照は実現し易い一方で下がらない」ということは偽だ」ということは成り立つ
事実13: その益金・損金算入等はディスカウントストアでない
事実14: もし仮に「その益金・損金算入等はディスカウントストアでない」ということは真実ならば「幹事長であるしそれは実現し易い」ということは成り立たない
事実15: 「その二十ページ参照は選るしかつ離れ離れである」ということは成り立てばそれは見過ごし難い
事実16: この医家は離れ離れであるということはない

仮説: その二十ページ参照は選る
1. 事実11と事実16から、推論1: "その二十ページ参照は消化剤だけど見過ごし難くない"が導かれる
2. 事実1から、推論2: "その二十ページ参照が消化剤である一方でそれが見過ごし難くないとすれば選る"が導かれる
3. 推論1と推論2から、仮説が導かれる

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