そのＣワンＩＮＨは乗り易いということはないけど混同し易い
fact1: もしとあるものが完全民営化でないとすればそれは記録面であるかまたは使い辛いかあるいは両方である fact2: なにかは黄色いとしたら「それは乗り易いということはなくて加えてそれは混同し易い」ということは間違っている fact3: もし仮に「あるものはエスカレーターであるしだらし無い」ということは成り立たないとしたらそれはだらし無くない fact4: 「黄色い」ものはある fact5: 仮にこの手取り平均年収が喋り立てるということはないならばこの可塑剤は邪魔しない fact6: この手取り平均年収は喋り立てない fact7: 「その新現実主義は混同し易くない」ということは確かならばそのＣワンＩＮＨは乗り易くない一方で混同し易い fact8: もし仮にそのＣワンＩＮＨは記録面であるとすると使い辛い fact9: もしもとあるものはサンキューであるなら「黄色い」ということは本当だ fact10: もし仮に「なにがしかの物は邪魔しない」ということは本当であるならば「それはエスカレーターだしまただらし無い」ということは間違いだ fact11: 仮に「黄色い」ものがあるとすればあのＳＯＸはサンキューであるけどそれは使い辛くない fact12: もしもあるものは訪問国であるとすると「どでかいということはない一方で愛くるしい」ということは間違いである fact13: もしこの可塑剤がだらし無くないとするとこのマイ・フレンドは入閣するしそれは利用し易い fact14: その新現実主義は使い辛くない fact15: 「そのＣワンＩＮＨは乗り易いということはない」ということは事実である fact16: もしもなんらかの物が治療するとすれば訪問国だ fact17: そのＣワンＩＮＨが混同し易いということはないとしたらそのＳＯＸは混同し易い fact18: もし仮に「「どでかくないけれど愛くるしい」ということは偽な」ものがあるとするとそのＳＯＸは完全民営化でない fact19: もし仮に「このマイ・フレンドは入閣する」ということは成り立つならその新現実主義は治療する fact20: 使い辛い物はサンキューである fact21: もし仮にその新現実主義が混同し易くないならそのＣワンＩＮＨは乗り易いということはない fact22: もしそのＳＯＸがサンキューだがしかしそれが使い辛くないとするとその新現実主義は混同し易くない fact23: 仮になんらかのものが黄色いとするとそのＳＯＸはサンキューである
fact4 & fact11 -> int1: そのＳＯＸはサンキューであるけれど使い辛くない; int1 & fact22 -> int2: 「その新現実主義は混同し易くない」ということは成り立つ; int2 & fact7 -> hypothesis;
「そのＣワンＩＮＨは乗り易くないけれどそれは混同し易い」ということは間違いだ
$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$ = 
fact4 & fact11 -> int1: そのＳＯＸはサンキューであるけれど使い辛くない; int1 & fact22 -> int2: 「その新現実主義は混同し易くない」ということは成り立つ; int2 & fact7 -> 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. 事実4と事実11から、推論1: "そのＳＯＸはサンキューであるけれど使い辛くない"が導かれる
2. 推論1と事実22から、推論2: "「その新現実主義は混同し易くない」ということは成り立つ"が導かれる
3. 推論2と事実7から、仮説が導かれる

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