「仮に詰まり易くないなら「奥棺だしさらに相談し易い」ということは間違いである」ものはある
fact1: 「もしも来難いということはないとすれば「聞き辛いしおまけに断つ」ということは誤っている」ものはある fact2: もし仮にあのアフリカ人労働検査官は詰まり易いということはないなら「奥棺であるしその上それは相談し易い」ということは成り立たない fact3: もしもあのアフリカ人労働検査官はノミネートするとすれば「好ましいししかもそれは詰まり易い」ということは成り立たない fact4: 「もし仮に詰まり易くないならば奥棺であるし相談し易い」物はある fact5: もしあのアフリカ人労働検査官はノミネートするとしたら「それは浅まししかつ温い」ということは確かでない fact6: もし仮にその各委員会が奥棺でないとするとそれはＨＦであるし更にそれは黄色っぽい fact7: 「もし仮に「あのアフリカ人労働検査官は凡だ」ということは真実だとしたら「あのアフリカ人労働検査官が憧れるしその上それは疲れ難い」ということは成り立つということはない」ということは真実だ fact8: 「「詰まり易い」ということは事実であるとすると「奥棺であるし加えて相談し易い」ということは偽である」物はある fact9: ある物はあくどいということはないとしたら「それが同行するしその上僧侶達だ」ということは事実と異なる fact10: 「仮に激動しないとしたら「アクセスし易いしまた停泊する」ということは誤りである」物はある
fact2 -> hypothesis;
「もし仮に「「あくどい」ということは正しい」ということは偽であるなら「同行するし加えて僧侶達である」ということは成り立たない」ものはある
fact11 -> int1: 仮にこの個別資産はあくどいということはないとしたら「同行するしそれに僧侶達だ」ということは誤りだ; int1 -> hypothesis;
$facts$ = fact1: 「もしも来難いということはないとすれば「聞き辛いしおまけに断つ」ということは誤っている」ものはある fact2: もし仮にあのアフリカ人労働検査官は詰まり易いということはないなら「奥棺であるしその上それは相談し易い」ということは成り立たない fact3: もしもあのアフリカ人労働検査官はノミネートするとすれば「好ましいししかもそれは詰まり易い」ということは成り立たない fact4: 「もし仮に詰まり易くないならば奥棺であるし相談し易い」物はある fact5: もしあのアフリカ人労働検査官はノミネートするとしたら「それは浅まししかつ温い」ということは確かでない fact6: もし仮にその各委員会が奥棺でないとするとそれはＨＦであるし更にそれは黄色っぽい fact7: 「もし仮に「あのアフリカ人労働検査官は凡だ」ということは真実だとしたら「あのアフリカ人労働検査官が憧れるしその上それは疲れ難い」ということは成り立つということはない」ということは真実だ fact8: 「「詰まり易い」ということは事実であるとすると「奥棺であるし加えて相談し易い」ということは偽である」物はある fact9: ある物はあくどいということはないとしたら「それが同行するしその上僧侶達だ」ということは事実と異なる fact10: 「仮に激動しないとしたら「アクセスし易いしまた停泊する」ということは誤りである」物はある ; $hypothesis$ = 「仮に詰まり易くないなら「奥棺だしさらに相談し易い」ということは間違いである」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「もしも来難いということはないとすれば「聞き辛いしおまけに断つ」ということは誤っている」ものはある
事実2: もし仮にあのアフリカ人労働検査官は詰まり易いということはないなら「奥棺であるしその上それは相談し易い」ということは成り立たない
事実3: もしもあのアフリカ人労働検査官はノミネートするとすれば「好ましいししかもそれは詰まり易い」ということは成り立たない
事実4: 「もし仮に詰まり易くないならば奥棺であるし相談し易い」物はある
事実5: もしあのアフリカ人労働検査官はノミネートするとしたら「それは浅まししかつ温い」ということは確かでない
事実6: もし仮にその各委員会が奥棺でないとするとそれはＨＦであるし更にそれは黄色っぽい
事実7: 「もし仮に「あのアフリカ人労働検査官は凡だ」ということは真実だとしたら「あのアフリカ人労働検査官が憧れるしその上それは疲れ難い」ということは成り立つということはない」ということは真実だ
事実8: 「「詰まり易い」ということは事実であるとすると「奥棺であるし加えて相談し易い」ということは偽である」物はある
事実9: ある物はあくどいということはないとしたら「それが同行するしその上僧侶達だ」ということは事実と異なる
事実10: 「仮に激動しないとしたら「アクセスし易いしまた停泊する」ということは誤りである」物はある

仮説: 「仮に詰まり易くないなら「奥棺だしさらに相談し易い」ということは間違いである」ものはある
1. 事実2から、仮説が導かれる

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