なにかは不定形動詞類であるしかつ絶賛する
fact1: もし仮に「この二．三項は不定形動詞類である」ということは成り立てばこの温水出口温度は不定形動詞類だ fact2: 仮に「この二．三項は不定形動詞類でない」ということは成り立つとするとそれは絶賛する fact3: もし仮に「待機する」ものはあるとすれば「この温水出口温度は待機しない一方で波瀾である」ということは誤りだ fact4: 「絶賛する」物はある fact5: この二パーセント前後は有能感でない fact6: 何らかの物は待機するしまたダンプだ fact7: 「ダンプな」物はある fact8: もし仮にあのグルコース濃度がダンプだとすればこの二．三項は山の手殿である fact9: もしこの二．三項が長々しいとすると不定形動詞類でない fact10: もし仮に何かは待機するしその上それがダンプであるならばその食い違いは覚え易いということはない fact11: 仮にこの二．三項が山の手殿であるとすればその食い違いは山の手殿である fact12: もしこの二．三項が覚え易いとすればその食い違いは覚え易い fact13: 「待機する」物はある fact14: もし仮になんらかのものが温いなら有能感でない fact15: この二．三項は避け難い fact16: もしもその食い違いが有能感であるということはないとしたらこの温水出口温度は絶賛する fact17: あの板前さんは待機する fact18: 「探し易くてかつクローズ・アップする」ものはある fact19: ちっこいか温い物は有能感でない fact20: この二．三項が不定形動詞類だし更にそれは避け難い fact21: もし仮にその食い違いが温いとしたら有能感であるということはない fact22: もし仮に「「温くて加えてちっこい」ということは事実と異なる」ものがあるならあのグルコース濃度はちっこいということはない fact23: もし仮にその食い違いは覚え易くないとすれば「ちっこい」ということは事実と異ならない fact24: 「この温水出口温度は待機しないけど波瀾である」ということは誤っているとしたらその食い違いは波瀾である fact25: もしも何らかのものは有能感でないとすると「それは温くて加えてそれはちっこい」ということは嘘だ
fact6 & fact10 -> int1: その食い違いは覚え易くない; int1 & fact23 -> int2: その食い違いはちっこい; int2 -> int3: その食い違いはちっこいかもしくは温いか両方だ; fact19 -> int4: もしその食い違いがちっこいか温いかあるいはどちらもだとすれば「有能感でない」ということは確かだ; int3 & int4 -> int5: その食い違いは有能感だということはない; int5 & fact16 -> int6: この温水出口温度は絶賛する; fact20 -> int7: この二．三項は不定形動詞類である; int7 & fact1 -> int8: この温水出口温度は不定形動詞類である; int6 & int8 -> int9: 「この温水出口温度は不定形動詞類であるしそれは絶賛する」ということは成り立つ; int9 -> hypothesis;
「波瀾で山の手殿な」物はある
fact27 -> int10: 何らかのものは待機する; int10 & fact30 -> int11: 「この温水出口温度は待機しない一方で波瀾だ」ということは成り立つということはない; fact31 & int11 -> int12: その食い違いは波瀾である; fact29 -> int13: この二パーセント前後は有能感でないとしたら「温くてちっこい」ということは偽だ; int13 & fact26 -> int14: 「この二パーセント前後は温いしかつちっこい」ということは成り立つということはない; int14 -> int15: 「「温くてちっこい」ということは事実と異なる」ものはある; int15 & fact28 -> int16: あのグルコース濃度はちっこくない;
$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: 「この温水出口温度は待機しないけど波瀾である」ということは誤っているとしたらその食い違いは波瀾である fact25: もしも何らかのものは有能感でないとすると「それは温くて加えてそれはちっこい」ということは嘘だ ; $hypothesis$ = なにかは不定形動詞類であるしかつ絶賛する ; $proof$ = 
fact6 & fact10 -> int1: その食い違いは覚え易くない; int1 & fact23 -> int2: その食い違いはちっこい; int2 -> int3: その食い違いはちっこいかもしくは温いか両方だ; fact19 -> int4: もしその食い違いがちっこいか温いかあるいはどちらもだとすれば「有能感でない」ということは確かだ; int3 & int4 -> int5: その食い違いは有能感だということはない; int5 & fact16 -> int6: この温水出口温度は絶賛する; fact20 -> int7: この二．三項は不定形動詞類である; int7 & fact1 -> int8: この温水出口温度は不定形動詞類である; int6 & int8 -> int9: 「この温水出口温度は不定形動詞類であるしそれは絶賛する」ということは成り立つ; int9 -> 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: 「この温水出口温度は待機しないけど波瀾である」ということは誤っているとしたらその食い違いは波瀾である
事実25: もしも何らかのものは有能感でないとすると「それは温くて加えてそれはちっこい」ということは嘘だ

仮説: なにかは不定形動詞類であるしかつ絶賛する
1. 事実6と事実10から、推論1: "その食い違いは覚え易くない"が導かれる
2. 推論1と事実23から、推論2: "その食い違いはちっこい"が導かれる
3. 推論2から、推論3: "その食い違いはちっこいかもしくは温いか両方だ"が導かれる
4. 事実19から、推論4: "もしその食い違いがちっこいか温いかあるいはどちらもだとすれば「有能感でない」ということは確かだ"が導かれる
5. 推論3と推論4から、推論5: "その食い違いは有能感だということはない"が導かれる
6. 推論5と事実16から、推論6: "この温水出口温度は絶賛する"が導かれる
7. 事実20から、推論7: "この二．三項は不定形動詞類である"が導かれる
8. 推論7と事実1から、推論8: "この温水出口温度は不定形動詞類である"が導かれる
9. 推論6と推論8から、推論9: "「この温水出口温度は不定形動詞類であるしそれは絶賛する」ということは成り立つ"が導かれる
10. 推論9から、仮説が導かれる

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