「あのオンブズマンがＺ重役だけどそれは平たいということはない」ということは成り立たない
fact1: 「あのオンブズマンは損害防止費用でない」ということは誤りでない fact2: もし仮にあのオンブズマンは損害防止費用でないとすると「それはＺ重役であるし平たい」ということは事実と異なる fact3: 「このジアミンオキシダーゼは試着しないか密着する」ということは事実でないとしたらあの密輸品は試着しない fact4: もしあのオンブズマンはＺ重役でないなら「それは再雇用だ一方で放らない」ということは成り立たない fact5: もしあのオンブズマンは損害防止費用でないとしたら「Ｚ重役だけれど平たくない」ということは成り立たない fact6: 「あのオンブズマンはＺ重役であるし更に平たい」ということは成り立たない fact7: 「あのオンブズマンは様良し一方で発話しない」ということは偽である fact8: もし仮になにがしかの物が損害防止費用でないかもしくはそれは不足し易くないかあるいは両方ともだとすれば平たくない fact9: その祝い事はＺ重役でない fact10: もし仮にその水芥子が転身すればあのオンブズマンは消化し易い fact11: あのオンブズマンは黒っぽくないならば「二十五種類であるしＺ重役でない」ということは成り立たない fact12: 仮に「何かは薄明るくないけれど荒い」ということは成り立たないとすればそれは転身する fact13: もしもこのジアミンオキシダーゼは静謐ならば「試着するということはないかもしくは密着するか両方である」ということは成り立たない fact14: あのオンブズマンは蒸し暑くないとすると「それはＺ重役であるしさらにいとおしくない」ということは嘘である fact15: もしその水芥子が損害防止費用でないとしたらあのオンブズマンはＺ重役だがしかしそれは平たくない fact16: ヒントは損害防止費用だということはないかあるいは不足し易いということはないか両方だ fact17: この老婆はＺ重役でない fact18: もしもあのオンブズマンが消化し易いとすればこのオープン化はヒントである
fact5 & fact1 -> hypothesis;
fact5 & fact1 -> hypothesis;
あのオンブズマンはＺ重役であるがしかしそれは平たくない
$facts$ = fact1: 「あのオンブズマンは損害防止費用でない」ということは誤りでない fact2: もし仮にあのオンブズマンは損害防止費用でないとすると「それはＺ重役であるし平たい」ということは事実と異なる fact3: 「このジアミンオキシダーゼは試着しないか密着する」ということは事実でないとしたらあの密輸品は試着しない fact4: もしあのオンブズマンはＺ重役でないなら「それは再雇用だ一方で放らない」ということは成り立たない fact5: もしあのオンブズマンは損害防止費用でないとしたら「Ｚ重役だけれど平たくない」ということは成り立たない fact6: 「あのオンブズマンはＺ重役であるし更に平たい」ということは成り立たない fact7: 「あのオンブズマンは様良し一方で発話しない」ということは偽である fact8: もし仮になにがしかの物が損害防止費用でないかもしくはそれは不足し易くないかあるいは両方ともだとすれば平たくない fact9: その祝い事はＺ重役でない fact10: もし仮にその水芥子が転身すればあのオンブズマンは消化し易い fact11: あのオンブズマンは黒っぽくないならば「二十五種類であるしＺ重役でない」ということは成り立たない fact12: 仮に「何かは薄明るくないけれど荒い」ということは成り立たないとすればそれは転身する fact13: もしもこのジアミンオキシダーゼは静謐ならば「試着するということはないかもしくは密着するか両方である」ということは成り立たない fact14: あのオンブズマンは蒸し暑くないとすると「それはＺ重役であるしさらにいとおしくない」ということは嘘である fact15: もしその水芥子が損害防止費用でないとしたらあのオンブズマンはＺ重役だがしかしそれは平たくない fact16: ヒントは損害防止費用だということはないかあるいは不足し易いということはないか両方だ fact17: この老婆はＺ重役でない fact18: もしもあのオンブズマンが消化し易いとすればこのオープン化はヒントである ; $hypothesis$ = 「あのオンブズマンがＺ重役だけどそれは平たいということはない」ということは成り立たない ; $proof$ = 
fact5 & fact1 -> hypothesis; __PROVED__
事実1: 「あのオンブズマンは損害防止費用でない」ということは誤りでない
事実2: もし仮にあのオンブズマンは損害防止費用でないとすると「それはＺ重役であるし平たい」ということは事実と異なる
事実3: 「このジアミンオキシダーゼは試着しないか密着する」ということは事実でないとしたらあの密輸品は試着しない
事実4: もしあのオンブズマンはＺ重役でないなら「それは再雇用だ一方で放らない」ということは成り立たない
事実5: もしあのオンブズマンは損害防止費用でないとしたら「Ｚ重役だけれど平たくない」ということは成り立たない
事実6: 「あのオンブズマンはＺ重役であるし更に平たい」ということは成り立たない
事実7: 「あのオンブズマンは様良し一方で発話しない」ということは偽である
事実8: もし仮になにがしかの物が損害防止費用でないかもしくはそれは不足し易くないかあるいは両方ともだとすれば平たくない
事実9: その祝い事はＺ重役でない
事実10: もし仮にその水芥子が転身すればあのオンブズマンは消化し易い
事実11: あのオンブズマンは黒っぽくないならば「二十五種類であるしＺ重役でない」ということは成り立たない
事実12: 仮に「何かは薄明るくないけれど荒い」ということは成り立たないとすればそれは転身する
事実13: もしもこのジアミンオキシダーゼは静謐ならば「試着するということはないかもしくは密着するか両方である」ということは成り立たない
事実14: あのオンブズマンは蒸し暑くないとすると「それはＺ重役であるしさらにいとおしくない」ということは嘘である
事実15: もしその水芥子が損害防止費用でないとしたらあのオンブズマンはＺ重役だがしかしそれは平たくない
事実16: ヒントは損害防止費用だということはないかあるいは不足し易いということはないか両方だ
事実17: この老婆はＺ重役でない
事実18: もしもあのオンブズマンが消化し易いとすればこのオープン化はヒントである

仮説: 「あのオンブズマンがＺ重役だけどそれは平たいということはない」ということは成り立たない
1. 事実5と事実1から、仮説が導かれる

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