あの会頭は腹立つ
fact1: もし仮にその内々が組合規約であるとするとあの会頭は受講する fact2: そのヒドロキシトリプトファンは一相場でない fact3: なんらかの物は一相場であるか内面化しないならそれは腹立たない fact4: もし仮にそのヒドロキシトリプトファンが腹立つならそれはすばしこい fact5: 「この燧杵は立ち退くしかつ御理解下さる」ということは真実でない fact6: もしそのヒドロキシトリプトファンが内面化しないならばその内々は一相場であるかもしくは腹立たない fact7: 仮にその内々が一相場でないならばあの会頭は受講する fact8: 仮にとあるものは内面化するなら「申し分だ」ということは真実である fact9: 仮にその内々が一相場であるとしたらそのヒドロキシトリプトファンは内面化する fact10: 仮に「この燧杵は内面化しなくておまけに申し分でない」ということは確かだとするとそのヒドロキシトリプトファンは内面化しない fact11: もしもなんらかの物が受講するならそれは申し分である fact12: その第七倍音は一相場でない fact13: もし「「三人乗りだし注ぎ続ける」ということは誤りな」物があればそのヒドロキシトリプトファンは負かすということはない fact14: もし仮になんらかの物は二十三日判決でないとすれば「それは研修するしおまけに代位弁済するということはない」ということは誤りだ fact15: 仮に「この燧杵は立ち退くし御理解下さる」ということは間違っていれば女らしくない fact16: 仮になにかは負かさないとすると二十三日判決でない fact17: 仮にその内々が一相場でないとするとあの会頭は受講するし腹立つ fact18: 仮になにかは口座管理機関でないとすると「組合規約だ」ということは誤りでない fact19: 「なんらかの物は研修するがしかし代位弁済しない」ということは成り立たないとすれば「還元出来る」ということは成り立つということはない fact20: なんらかの物は女らしくないならば「三人乗りであるしまた注ぎ続ける」ということは成り立たない fact21: あの会頭は受講する fact22: そのヒドロキシトリプトファンは申し分でない fact23: もし侭は組織間学習でないとすると「口座管理機関でない」ということは正しい fact24: この接続行列は一相場である
void -> assump1: 以下のように仮定する。その内々は一相場だ; fact9 & assump1 -> int1: そのヒドロキシトリプトファンは内面化する; fact8 -> int2: もし仮にそのヒドロキシトリプトファンが内面化するとしたら申し分だ; int1 & int2 -> int3: そのヒドロキシトリプトファンは申し分である; int3 & fact22 -> int4: これは矛盾である; [assump1] & int4 -> int5: その内々は一相場でない; int5 & fact17 -> int6: あの会頭は受講するしおまけにそれは腹立つ; int6 -> hypothesis;
あの会頭は腹立つということはない
fact36 -> int7: もしもあの会頭が一相場であるかまたは内面化しないならば腹立たない; fact32 -> int8: 「あの会頭は受講する」ということは本当であるなら申し分である; fact31 -> int9: もし仮にその内々は口座管理機関でないとしたら組合規約だ; fact35 -> int10: その内々が侭だが組織間学習でないならそれは口座管理機関でない; fact30 -> int11: 「そのヒドロキシトリプトファンは研修するけれど代位弁済するということはない」ということは誤っていれば還元出来ない; fact26 -> int12: もし仮にそのヒドロキシトリプトファンは二十三日判決でないなら「研修する一方で代位弁済しない」ということは間違いだ; fact27 -> int13: そのヒドロキシトリプトファンが負かすということはないなら二十三日判決でない; fact34 -> int14: 「この燧杵は女らしくない」ということは成り立つなら「それが三人乗りだしそれは注ぎ続ける」ということは間違っている; fact28 & fact25 -> int15: この燧杵は女らしくない; int14 & int15 -> int16: 「この燧杵は三人乗りであるしまた注ぎ続ける」ということは誤っている; int16 -> int17: 「「三人乗りであるしその上注ぎ続ける」ということは成り立たない」物はある; int17 & fact29 -> int18: そのヒドロキシトリプトファンは負かさない; int13 & int18 -> int19: そのヒドロキシトリプトファンは二十三日判決でない; int12 & int19 -> int20: 「そのヒドロキシトリプトファンは研修するが代位弁済しない」ということは成り立たない; int11 & int20 -> int21: そのヒドロキシトリプトファンは還元出来るということはない; int21 -> int22: 何かは還元出来ない;
$facts$ = fact1: もし仮にその内々が組合規約であるとするとあの会頭は受講する fact2: そのヒドロキシトリプトファンは一相場でない fact3: なんらかの物は一相場であるか内面化しないならそれは腹立たない fact4: もし仮にそのヒドロキシトリプトファンが腹立つならそれはすばしこい fact5: 「この燧杵は立ち退くしかつ御理解下さる」ということは真実でない fact6: もしそのヒドロキシトリプトファンが内面化しないならばその内々は一相場であるかもしくは腹立たない fact7: 仮にその内々が一相場でないならばあの会頭は受講する fact8: 仮にとあるものは内面化するなら「申し分だ」ということは真実である fact9: 仮にその内々が一相場であるとしたらそのヒドロキシトリプトファンは内面化する fact10: 仮に「この燧杵は内面化しなくておまけに申し分でない」ということは確かだとするとそのヒドロキシトリプトファンは内面化しない fact11: もしもなんらかの物が受講するならそれは申し分である fact12: その第七倍音は一相場でない fact13: もし「「三人乗りだし注ぎ続ける」ということは誤りな」物があればそのヒドロキシトリプトファンは負かすということはない fact14: もし仮になんらかの物は二十三日判決でないとすれば「それは研修するしおまけに代位弁済するということはない」ということは誤りだ fact15: 仮に「この燧杵は立ち退くし御理解下さる」ということは間違っていれば女らしくない fact16: 仮になにかは負かさないとすると二十三日判決でない fact17: 仮にその内々が一相場でないとするとあの会頭は受講するし腹立つ fact18: 仮になにかは口座管理機関でないとすると「組合規約だ」ということは誤りでない fact19: 「なんらかの物は研修するがしかし代位弁済しない」ということは成り立たないとすれば「還元出来る」ということは成り立つということはない fact20: なんらかの物は女らしくないならば「三人乗りであるしまた注ぎ続ける」ということは成り立たない fact21: あの会頭は受講する fact22: そのヒドロキシトリプトファンは申し分でない fact23: もし侭は組織間学習でないとすると「口座管理機関でない」ということは正しい fact24: この接続行列は一相場である ; $hypothesis$ = あの会頭は腹立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。その内々は一相場だ; fact9 & assump1 -> int1: そのヒドロキシトリプトファンは内面化する; fact8 -> int2: もし仮にそのヒドロキシトリプトファンが内面化するとしたら申し分だ; int1 & int2 -> int3: そのヒドロキシトリプトファンは申し分である; int3 & fact22 -> int4: これは矛盾である; [assump1] & int4 -> int5: その内々は一相場でない; int5 & fact17 -> int6: あの会頭は受講するしおまけにそれは腹立つ; int6 -> hypothesis; __PROVED__
事実1: もし仮にその内々が組合規約であるとするとあの会頭は受講する
事実2: そのヒドロキシトリプトファンは一相場でない
事実3: なんらかの物は一相場であるか内面化しないならそれは腹立たない
事実4: もし仮にそのヒドロキシトリプトファンが腹立つならそれはすばしこい
事実5: 「この燧杵は立ち退くしかつ御理解下さる」ということは真実でない
事実6: もしそのヒドロキシトリプトファンが内面化しないならばその内々は一相場であるかもしくは腹立たない
事実7: 仮にその内々が一相場でないならばあの会頭は受講する
事実8: 仮にとあるものは内面化するなら「申し分だ」ということは真実である
事実9: 仮にその内々が一相場であるとしたらそのヒドロキシトリプトファンは内面化する
事実10: 仮に「この燧杵は内面化しなくておまけに申し分でない」ということは確かだとするとそのヒドロキシトリプトファンは内面化しない
事実11: もしもなんらかの物が受講するならそれは申し分である
事実12: その第七倍音は一相場でない
事実13: もし「「三人乗りだし注ぎ続ける」ということは誤りな」物があればそのヒドロキシトリプトファンは負かすということはない
事実14: もし仮になんらかの物は二十三日判決でないとすれば「それは研修するしおまけに代位弁済するということはない」ということは誤りだ
事実15: 仮に「この燧杵は立ち退くし御理解下さる」ということは間違っていれば女らしくない
事実16: 仮になにかは負かさないとすると二十三日判決でない
事実17: 仮にその内々が一相場でないとするとあの会頭は受講するし腹立つ
事実18: 仮になにかは口座管理機関でないとすると「組合規約だ」ということは誤りでない
事実19: 「なんらかの物は研修するがしかし代位弁済しない」ということは成り立たないとすれば「還元出来る」ということは成り立つということはない
事実20: なんらかの物は女らしくないならば「三人乗りであるしまた注ぎ続ける」ということは成り立たない
事実21: あの会頭は受講する
事実22: そのヒドロキシトリプトファンは申し分でない
事実23: もし侭は組織間学習でないとすると「口座管理機関でない」ということは正しい
事実24: この接続行列は一相場である

仮説: あの会頭は腹立つ
1. 仮定1: 以下のように仮定する。その内々は一相場だ
2. 事実9と仮定1から、推論1: "そのヒドロキシトリプトファンは内面化する"が導かれる
3. 事実8から、推論2: "もし仮にそのヒドロキシトリプトファンが内面化するとしたら申し分だ"が導かれる
4. 推論1と推論2から、推論3: "そのヒドロキシトリプトファンは申し分である"が導かれる
5. 推論3と事実22から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その内々は一相場でない"が導かれる
7. 推論5と事実17から、推論6: "あの会頭は受講するしおまけにそれは腹立つ"が導かれる
8. 推論6から、仮説が導かれる

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