あの油圧パイルハンマはエントリーするということはないが構成国である
fact1: その中国本土は小気味良くない fact2: 仮に「そのＣＯＴは乏しくない」ということは本当であるとすれば「「その茶筌通しは第四式であるがしかし野生種でない」ということは真実である」ということは偽である fact3: その事業主利益は弱々しかない fact4: その茶筌通しはエントリーしない fact5: もしその事業主利益がエントリーするということはないとするとあの油圧パイルハンマはエントリーするということはないが構成国である fact6: あの油圧パイルハンマがエントリーしないならば田舎っぽくないしそれは構成国である fact7: 「何らかのものは第四式だけど野生種でない」ということは成り立たないとすると「厳つかない」ということは成り立つ fact8: 仮になんらかの物は弱々しかないとしたら「それはエントリーしないしおまけに構成国である」ということは誤りである fact9: 「もし「その茶筌通しは算する一方でそれはエントリーしない」ということは偽であるならその茶筌通しは算しない」ということは成り立つ fact10: あの持ち越しは転び出ないがバルーンカテーテルだ fact11: 「その事業主利益は厳ついし算する」ということは事実と異なる fact12: もしも「この警部さんは馬鹿でかい」ということは事実であるならばあの自分ＷＡＹは弱々しい fact13: もしも「その茶筌通しは小気味良いが算しない」ということは成り立たないとすれば小気味良くない fact14: もし仮にその事業主利益が田舎っぽいしその上弱々しいならあの油圧パイルハンマは弱々しいということはない fact15: もしも「その事業主利益はぴったりするけどエントリーしない」ということは間違いならばあの自分ＷＡＹは弱々しかない fact16: もしなんらかの物が算するということはないならばそれは小気味良くてかつ田舎っぽい fact17: もしその茶筌通しが厳つかないとするとその事業主利益は算しない fact18: なんらかのものはぴったりしないとしたら「算する」ということは成り立つ fact19: もしもあの持ち越しが転び出ないがバルーンカテーテルであるならそのＣＯＴは乏しくない fact20: 仮になにがしかの物が小気味良くないとしたら田舎っぽいということはないがしかし弱々しい fact21: 「その茶筌通しは小気味良い一方で算するということはない」ということは偽である fact22: もしその自分ＷＡＹは弱々しかないなら「その茶筌通しは田舎っぽくないが弱々しい」ということは間違っている fact23: もし仮に「その事業主利益は田舎っぽいけどぴったりするということはない」ということは間違いならばその茶筌通しはエントリーするということはない
void -> assump1: 以下のように仮定する。「その事業主利益はぴったりするがエントリーしない」ということは偽である; fact15 & assump1 -> int1: 「その自分ＷＡＹは弱々しかない」ということは真実だ; int1 & fact22 -> int2: 「その茶筌通しは田舎っぽくない一方で弱々しい」ということは間違っている; fact13 & fact21 -> int3: その茶筌通しは小気味良くない; fact20 -> int4: もしその茶筌通しが小気味良くないとすればそれが田舎っぽくないしさらに弱々しい; int3 & int4 -> int5: その茶筌通しは田舎っぽくないがそれは弱々しい; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その事業主利益はぴったりするけれどエントリーしない; int7 -> int8: その事業主利益はエントリーしない; int8 & fact5 -> hypothesis;
「あの油圧パイルハンマはエントリーしないがしかし構成国だ」ということは誤っている
fact28 -> int9: もしもあの油圧パイルハンマは弱々しかないとすると「エントリーするということはないしそれにそれは構成国である」ということは誤っている; fact27 -> int10: 仮に「その事業主利益は算しない」ということは確かであるなら小気味良くて田舎っぽい; fact32 -> int11: 仮に「その茶筌通しは第四式だが野生種でない」ということは本当でないとしたら「それは厳つかない」ということは成り立つ; fact30 & fact29 -> int12: そのＣＯＴは乏しくない; fact31 & int12 -> int13: 「その茶筌通しは第四式であるがしかし野生種でない」ということは偽だ; int11 & int13 -> int14: その茶筌通しは厳つかない; fact24 & int14 -> int15: その事業主利益は算しない; int10 & int15 -> int16: その事業主利益は小気味良くて田舎っぽい; int16 -> int17: その事業主利益は田舎っぽい;
$facts$ = fact1: その中国本土は小気味良くない fact2: 仮に「そのＣＯＴは乏しくない」ということは本当であるとすれば「「その茶筌通しは第四式であるがしかし野生種でない」ということは真実である」ということは偽である fact3: その事業主利益は弱々しかない fact4: その茶筌通しはエントリーしない fact5: もしその事業主利益がエントリーするということはないとするとあの油圧パイルハンマはエントリーするということはないが構成国である fact6: あの油圧パイルハンマがエントリーしないならば田舎っぽくないしそれは構成国である fact7: 「何らかのものは第四式だけど野生種でない」ということは成り立たないとすると「厳つかない」ということは成り立つ fact8: 仮になんらかの物は弱々しかないとしたら「それはエントリーしないしおまけに構成国である」ということは誤りである fact9: 「もし「その茶筌通しは算する一方でそれはエントリーしない」ということは偽であるならその茶筌通しは算しない」ということは成り立つ fact10: あの持ち越しは転び出ないがバルーンカテーテルだ fact11: 「その事業主利益は厳ついし算する」ということは事実と異なる fact12: もしも「この警部さんは馬鹿でかい」ということは事実であるならばあの自分ＷＡＹは弱々しい fact13: もしも「その茶筌通しは小気味良いが算しない」ということは成り立たないとすれば小気味良くない fact14: もし仮にその事業主利益が田舎っぽいしその上弱々しいならあの油圧パイルハンマは弱々しいということはない fact15: もしも「その事業主利益はぴったりするけどエントリーしない」ということは間違いならばあの自分ＷＡＹは弱々しかない fact16: もしなんらかの物が算するということはないならばそれは小気味良くてかつ田舎っぽい fact17: もしその茶筌通しが厳つかないとするとその事業主利益は算しない fact18: なんらかのものはぴったりしないとしたら「算する」ということは成り立つ fact19: もしもあの持ち越しが転び出ないがバルーンカテーテルであるならそのＣＯＴは乏しくない fact20: 仮になにがしかの物が小気味良くないとしたら田舎っぽいということはないがしかし弱々しい fact21: 「その茶筌通しは小気味良い一方で算するということはない」ということは偽である fact22: もしその自分ＷＡＹは弱々しかないなら「その茶筌通しは田舎っぽくないが弱々しい」ということは間違っている fact23: もし仮に「その事業主利益は田舎っぽいけどぴったりするということはない」ということは間違いならばその茶筌通しはエントリーするということはない ; $hypothesis$ = あの油圧パイルハンマはエントリーするということはないが構成国である ; $proof$ = 
void -> assump1: 以下のように仮定する。「その事業主利益はぴったりするがエントリーしない」ということは偽である; fact15 & assump1 -> int1: 「その自分ＷＡＹは弱々しかない」ということは真実だ; int1 & fact22 -> int2: 「その茶筌通しは田舎っぽくない一方で弱々しい」ということは間違っている; fact13 & fact21 -> int3: その茶筌通しは小気味良くない; fact20 -> int4: もしその茶筌通しが小気味良くないとすればそれが田舎っぽくないしさらに弱々しい; int3 & int4 -> int5: その茶筌通しは田舎っぽくないがそれは弱々しい; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その事業主利益はぴったりするけれどエントリーしない; int7 -> int8: その事業主利益はエントリーしない; int8 & fact5 -> 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: もし仮に「その事業主利益は田舎っぽいけどぴったりするということはない」ということは間違いならばその茶筌通しはエントリーするということはない

仮説: あの油圧パイルハンマはエントリーするということはないが構成国である
1. 仮定1: 以下のように仮定する。「その事業主利益はぴったりするがエントリーしない」ということは偽である
2. 事実15と仮定1から、推論1: "「その自分ＷＡＹは弱々しかない」ということは真実だ"が導かれる
3. 推論1と事実22から、推論2: "「その茶筌通しは田舎っぽくない一方で弱々しい」ということは間違っている"が導かれる
4. 事実13と事実21から、推論3: "その茶筌通しは小気味良くない"が導かれる
5. 事実20から、推論4: "もしその茶筌通しが小気味良くないとすればそれが田舎っぽくないしさらに弱々しい"が導かれる
6. 推論3と推論4から、推論5: "その茶筌通しは田舎っぽくないがそれは弱々しい"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その事業主利益はぴったりするけれどエントリーしない"が導かれる
9. 推論7から、推論8: "その事業主利益はエントリーしない"が導かれる
10. 推論8と事実5から、仮説が導かれる

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