あの天啓は扇絵師だ
fact1: もしも「うんちでない」ものがあるとするとあの当該有価証券は捕らえ易くない fact2: あの天啓は扇絵師だ fact3: あの天啓は有り難くてねちっこい fact4: 捕らえ易くないものは扇絵師であるし低し fact5: あの駄目元は扇絵師だ fact6: 有り難い物は用い易いがしかしハウスメーカーでない fact7: もし「そのニュークリアは低しないけど捕らえ易い」ということは間違いだとするとあの天啓は扇絵師でない fact8: もし何らかの物が有り難いとしたらそれはハウスメーカーでないしそれは用い易い fact9: この心神が公的年金等控除でないならばあの大目付けはバードウォッチングでなくておまけにそれは集住しない fact10: あの大目付けはバードウォッチングだということはないなら「この二十種類は降下するしそれにそれはねちっこい」ということは正しくない fact11: なにがしかのものはハウスメーカーでないけれど用い易いならばうんちでない fact12: 仮にこの食道入り口部はねちっこくないとすれば「あのときめきは有り難い」ということは成り立つ fact13: もしあのときめきはうんちでないとしたら「そのニュークリアは低しないけど捕らえ易い」ということは成り立たない fact14: あの天啓は上げ易い fact15: 仮に用い易いものはハウスメーカーでないとするとそれはうんちでない fact16: もしも「この二十種類は降下するしねちっこい」ということは誤りであるならこの食道入り口部はねちっこいということはない fact17: このイチジクは扇絵師である
fact2 -> hypothesis;
fact2 -> hypothesis;
あの天啓は扇絵師であるということはない
fact18 -> int1: あのときめきがハウスメーカーでないけれどそれは用い易いとすると「うんちでない」ということは真実である; fact24 -> int2: あのときめきが有り難いならハウスメーカーでないし用い易い;
$facts$ = fact1: もしも「うんちでない」ものがあるとするとあの当該有価証券は捕らえ易くない fact2: あの天啓は扇絵師だ fact3: あの天啓は有り難くてねちっこい fact4: 捕らえ易くないものは扇絵師であるし低し fact5: あの駄目元は扇絵師だ fact6: 有り難い物は用い易いがしかしハウスメーカーでない fact7: もし「そのニュークリアは低しないけど捕らえ易い」ということは間違いだとするとあの天啓は扇絵師でない fact8: もし何らかの物が有り難いとしたらそれはハウスメーカーでないしそれは用い易い fact9: この心神が公的年金等控除でないならばあの大目付けはバードウォッチングでなくておまけにそれは集住しない fact10: あの大目付けはバードウォッチングだということはないなら「この二十種類は降下するしそれにそれはねちっこい」ということは正しくない fact11: なにがしかのものはハウスメーカーでないけれど用い易いならばうんちでない fact12: 仮にこの食道入り口部はねちっこくないとすれば「あのときめきは有り難い」ということは成り立つ fact13: もしあのときめきはうんちでないとしたら「そのニュークリアは低しないけど捕らえ易い」ということは成り立たない fact14: あの天啓は上げ易い fact15: 仮に用い易いものはハウスメーカーでないとするとそれはうんちでない fact16: もしも「この二十種類は降下するしねちっこい」ということは誤りであるならこの食道入り口部はねちっこいということはない fact17: このイチジクは扇絵師である ; $hypothesis$ = あの天啓は扇絵師だ ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしも「うんちでない」ものがあるとするとあの当該有価証券は捕らえ易くない
事実2: あの天啓は扇絵師だ
事実3: あの天啓は有り難くてねちっこい
事実4: 捕らえ易くないものは扇絵師であるし低し
事実5: あの駄目元は扇絵師だ
事実6: 有り難い物は用い易いがしかしハウスメーカーでない
事実7: もし「そのニュークリアは低しないけど捕らえ易い」ということは間違いだとするとあの天啓は扇絵師でない
事実8: もし何らかの物が有り難いとしたらそれはハウスメーカーでないしそれは用い易い
事実9: この心神が公的年金等控除でないならばあの大目付けはバードウォッチングでなくておまけにそれは集住しない
事実10: あの大目付けはバードウォッチングだということはないなら「この二十種類は降下するしそれにそれはねちっこい」ということは正しくない
事実11: なにがしかのものはハウスメーカーでないけれど用い易いならばうんちでない
事実12: 仮にこの食道入り口部はねちっこくないとすれば「あのときめきは有り難い」ということは成り立つ
事実13: もしあのときめきはうんちでないとしたら「そのニュークリアは低しないけど捕らえ易い」ということは成り立たない
事実14: あの天啓は上げ易い
事実15: 仮に用い易いものはハウスメーカーでないとするとそれはうんちでない
事実16: もしも「この二十種類は降下するしねちっこい」ということは誤りであるならこの食道入り口部はねちっこいということはない
事実17: このイチジクは扇絵師である

仮説: あの天啓は扇絵師だ
1. 事実2から、仮説が導かれる

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