この三部構成は大人し
fact1: 「その仕事関数は人らしくない」ということは真実ならば「あのグループ指導は労災保険法だしきもい」ということは成り立たない fact2: 仮に「あるものは愛らしくないし問題視するということはない」ということは嘘だとするとそれは問題視する fact3: あの地方名は敗死する fact4: もしも「「添削する」ということは事実な」物はあれば「そのドラマは愛らしくないしおまけに問題視しない」ということは誤りである fact5: 「なんらかのものは人らしい強情っ張りである」ということは間違っているとすると人らしくない fact6: 仮にこの平行移動は宜しくないならば「その仕事関数は人らしいしかつ強情っ張りだ」ということは事実でない fact7: 仮に「そのドラマは問題視する」ということは成り立つとしたら「この平行移動は伸び易くないかもしくはそれはリストラ宣告でないかもしくは両方である」ということは誤りである fact8: 子供っぽくないものは聴取しないけれど上り易い fact9: もし仮にこの夕食後が子供っぽくないとすればこの三部構成は大人しない fact10: もし仮に「あの両語は黴臭い一方で子供っぽいということはない」ということは真実であるならばあの夕食後は子供っぽくない fact11: もし「あの地方名は白しないけれど意識調査である」ということは成り立たないとしたら添削する fact12: もし仮にこのハンドセットは労災保険法でないかまたは子供っぽくないかもしくはどちらもだとしたらそれは子供っぽくない fact13: もし仮に「何らかのものは伸び易くないかあるいはリストラ宣告でないかもしくはどちらもだ」ということは間違っているならそれは宜しくない fact14: もし仮にこのハンドセットは剃髪すればこの三部構成はきもくないし更にそれは黴臭くない fact15: このハンドセットは労災保険法であるということはないかもしくはそれは子供っぽいということはない fact16: もしもあの地方名は敗死すれば「白しないしかつ意識調査だ」ということは偽である fact17: もし仮に何らかのものが聴取しないがしかしそれが上り易いとしたらそれは剃髪する fact18: もしもこの三部構成は大人しないけれどきもいとすれば「それは剃髪する」ということは本当である fact19: もし仮にきもくない物が黴臭くないとすれば大人し fact20: 仮に何らかのものは剃髪するとしたら「黴臭くてそれにそれは子供っぽいということはない」ということは確かだ
fact8 -> int1: 「このハンドセットは子供っぽくない」ということは真実であるならそれは聴取しないけれど上り易い; fact15 & fact12 -> int2: このハンドセットは子供っぽいということはない; int1 & int2 -> int3: このハンドセットは聴取するということはないけどそれは上り易い; fact17 -> int4: もし仮に「このハンドセットは聴取するということはないがしかし上り易い」ということは確かだとしたらそれは剃髪する; int3 & int4 -> int5: 「このハンドセットは剃髪する」ということは成り立つ; int5 & fact14 -> int6: この三部構成はきもくないし黴臭くない; fact19 -> int7: この三部構成はきもくないし更に黴臭いということはないならそれは大人し; int6 & int7 -> hypothesis;
この三部構成は大人しということはない
fact28 -> int8: もしもあの両語が剃髪するとすると黴臭いしかつそれは子供っぽくない; fact30 -> int9: 仮に「「その仕事関数は人らしいしそれは強情っ張りである」ということは誤っている」ということは成り立つとしたら人らしくない; fact33 -> int10: もしも「この平行移動は伸び易くないかそれはリストラ宣告でない」ということは事実でないなら宜しくない; fact25 -> int11: 「「そのドラマは愛らしくないし問題視しない」ということは成り立つ」ということは真実でないならば「問題視する」ということは真実だ; fact24 & fact21 -> int12: 「「あの地方名は白しないがしかし意識調査である」ということは誤っている」ということは本当である; fact27 & int12 -> int13: あの地方名は添削する; int13 -> int14: 「「添削する」ということは成り立つ」物はある; int14 & fact26 -> int15: 「そのドラマは愛らしくないし問題視しない」ということは嘘である; int11 & int15 -> int16: 「そのドラマは問題視する」ということは事実である; fact23 & int16 -> int17: 「「この平行移動は伸び易くないかあるいはリストラ宣告であるということはないかあるいはどちらもである」ということは正しい」ということは誤りだ; int10 & int17 -> int18: この平行移動は宜しくない; fact31 & int18 -> int19: 「その仕事関数は人らしいしそれに強情っ張りである」ということは嘘である; int9 & int19 -> int20: その仕事関数は人らしくない; fact22 & 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: 仮に何らかのものは剃髪するとしたら「黴臭くてそれにそれは子供っぽいということはない」ということは確かだ ; $hypothesis$ = この三部構成は大人し ; $proof$ = 
fact8 -> int1: 「このハンドセットは子供っぽくない」ということは真実であるならそれは聴取しないけれど上り易い; fact15 & fact12 -> int2: このハンドセットは子供っぽいということはない; int1 & int2 -> int3: このハンドセットは聴取するということはないけどそれは上り易い; fact17 -> int4: もし仮に「このハンドセットは聴取するということはないがしかし上り易い」ということは確かだとしたらそれは剃髪する; int3 & int4 -> int5: 「このハンドセットは剃髪する」ということは成り立つ; int5 & fact14 -> int6: この三部構成はきもくないし黴臭くない; fact19 -> int7: この三部構成はきもくないし更に黴臭いということはないならそれは大人し; int6 & int7 -> hypothesis; __PROVED__
事実1: 「その仕事関数は人らしくない」ということは真実ならば「あのグループ指導は労災保険法だしきもい」ということは成り立たない
事実2: 仮に「あるものは愛らしくないし問題視するということはない」ということは嘘だとするとそれは問題視する
事実3: あの地方名は敗死する
事実4: もしも「「添削する」ということは事実な」物はあれば「そのドラマは愛らしくないしおまけに問題視しない」ということは誤りである
事実5: 「なんらかのものは人らしい強情っ張りである」ということは間違っているとすると人らしくない
事実6: 仮にこの平行移動は宜しくないならば「その仕事関数は人らしいしかつ強情っ張りだ」ということは事実でない
事実7: 仮に「そのドラマは問題視する」ということは成り立つとしたら「この平行移動は伸び易くないかもしくはそれはリストラ宣告でないかもしくは両方である」ということは誤りである
事実8: 子供っぽくないものは聴取しないけれど上り易い
事実9: もし仮にこの夕食後が子供っぽくないとすればこの三部構成は大人しない
事実10: もし仮に「あの両語は黴臭い一方で子供っぽいということはない」ということは真実であるならばあの夕食後は子供っぽくない
事実11: もし「あの地方名は白しないけれど意識調査である」ということは成り立たないとしたら添削する
事実12: もし仮にこのハンドセットは労災保険法でないかまたは子供っぽくないかもしくはどちらもだとしたらそれは子供っぽくない
事実13: もし仮に「何らかのものは伸び易くないかあるいはリストラ宣告でないかもしくはどちらもだ」ということは間違っているならそれは宜しくない
事実14: もし仮にこのハンドセットは剃髪すればこの三部構成はきもくないし更にそれは黴臭くない
事実15: このハンドセットは労災保険法であるということはないかもしくはそれは子供っぽいということはない
事実16: もしもあの地方名は敗死すれば「白しないしかつ意識調査だ」ということは偽である
事実17: もし仮に何らかのものが聴取しないがしかしそれが上り易いとしたらそれは剃髪する
事実18: もしもこの三部構成は大人しないけれどきもいとすれば「それは剃髪する」ということは本当である
事実19: もし仮にきもくない物が黴臭くないとすれば大人し
事実20: 仮に何らかのものは剃髪するとしたら「黴臭くてそれにそれは子供っぽいということはない」ということは確かだ

仮説: この三部構成は大人し
1. 事実8から、推論1: "「このハンドセットは子供っぽくない」ということは真実であるならそれは聴取しないけれど上り易い"が導かれる
2. 事実15と事実12から、推論2: "このハンドセットは子供っぽいということはない"が導かれる
3. 推論1と推論2から、推論3: "このハンドセットは聴取するということはないけどそれは上り易い"が導かれる
4. 事実17から、推論4: "もし仮に「このハンドセットは聴取するということはないがしかし上り易い」ということは確かだとしたらそれは剃髪する"が導かれる
5. 推論3と推論4から、推論5: "「このハンドセットは剃髪する」ということは成り立つ"が導かれる
6. 推論5と事実14から、推論6: "この三部構成はきもくないし黴臭くない"が導かれる
7. 事実19から、推論7: "この三部構成はきもくないし更に黴臭いということはないならそれは大人し"が導かれる
8. 推論6と推論7から、仮説が導かれる

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