あの両国政府はむくつけし
fact1: 「あの外部データ範囲はＯＢ臭いということはないけどむくつけし」ということは事実と異なる fact2: 木目細かいし加えて素っ気ない物はない fact3: あるものが仰け反らないけれどＯＢ臭いならばあの両国政府はむくつけしということはない fact4: もしもあの送電は素っ気なくないならば「この教育システムは飾り立てるし最高裁判所だ」ということは間違いだ fact5: もしも「なんらかのものは飾り立てるし最高裁判所である」ということは誤りであるなら最高裁判所でない fact6: もし仮に「なにかは木目細かくておまけに素っ気ない」ということは成り立つということはないとすれば素っ気なくない fact7: 「「とある物は売り難くないけれどそれは仕事らしい」ということは成り立たないとすると「それはむくつけし」ということは成り立つ」ということは本当である fact8: もしもあの両国政府は仕事らしくないなら「それはむくつけし」ということは成り立つ fact9: 「あの外部データ範囲はＯＢ臭い」ということは本当である fact10: 「あの両国政府はＯＢ臭くないけれどそれは仕事らしい」ということは成り立たないならばそれはむくつけし fact11: もし仮に「あの外部データ範囲はＯＢ臭い」ということは成り立てば「あの両国政府は売り難くない一方で仕事らしい」ということは誤りだ
fact11 & fact9 -> int1: 「あの両国政府は売り難くないけど仕事らしい」ということは間違いである; fact7 -> int2: 仮に「「あの両国政府は売り難くないがそれは仕事らしい」ということは成り立たない」ということは成り立てばむくつけし; int1 & int2 -> hypothesis;
あの両国政府はむくつけしない
fact16 -> int3: 仮に「この供用事業年度は木目細かくて素っ気ない」ということは成り立たないならば素っ気ないということはない; fact15 -> int4: 「「この供用事業年度は木目細かくてさらにそれは素っ気ない」ということは成り立たない」ということは確かだ; int3 & int4 -> int5: この供用事業年度は素っ気なくない; int5 -> int6: すべては素っ気ないということはない; int6 -> int7: あの送電は素っ気なくない; fact13 & int7 -> int8: 「この教育システムは飾り立てるしまた最高裁判所である」ということは間違っている; fact14 -> int9: もし仮に「この教育システムは飾り立てるしかつ最高裁判所だ」ということは嘘であるとしたら最高裁判所でない; int8 & int9 -> int10: この教育システムは最高裁判所でない;
$facts$ = fact1: 「あの外部データ範囲はＯＢ臭いということはないけどむくつけし」ということは事実と異なる fact2: 木目細かいし加えて素っ気ない物はない fact3: あるものが仰け反らないけれどＯＢ臭いならばあの両国政府はむくつけしということはない fact4: もしもあの送電は素っ気なくないならば「この教育システムは飾り立てるし最高裁判所だ」ということは間違いだ fact5: もしも「なんらかのものは飾り立てるし最高裁判所である」ということは誤りであるなら最高裁判所でない fact6: もし仮に「なにかは木目細かくておまけに素っ気ない」ということは成り立つということはないとすれば素っ気なくない fact7: 「「とある物は売り難くないけれどそれは仕事らしい」ということは成り立たないとすると「それはむくつけし」ということは成り立つ」ということは本当である fact8: もしもあの両国政府は仕事らしくないなら「それはむくつけし」ということは成り立つ fact9: 「あの外部データ範囲はＯＢ臭い」ということは本当である fact10: 「あの両国政府はＯＢ臭くないけれどそれは仕事らしい」ということは成り立たないならばそれはむくつけし fact11: もし仮に「あの外部データ範囲はＯＢ臭い」ということは成り立てば「あの両国政府は売り難くない一方で仕事らしい」ということは誤りだ ; $hypothesis$ = あの両国政府はむくつけし ; $proof$ = 
fact11 & fact9 -> int1: 「あの両国政府は売り難くないけど仕事らしい」ということは間違いである; fact7 -> int2: 仮に「「あの両国政府は売り難くないがそれは仕事らしい」ということは成り立たない」ということは成り立てばむくつけし; int1 & int2 -> hypothesis; __PROVED__
事実1: 「あの外部データ範囲はＯＢ臭いということはないけどむくつけし」ということは事実と異なる
事実2: 木目細かいし加えて素っ気ない物はない
事実3: あるものが仰け反らないけれどＯＢ臭いならばあの両国政府はむくつけしということはない
事実4: もしもあの送電は素っ気なくないならば「この教育システムは飾り立てるし最高裁判所だ」ということは間違いだ
事実5: もしも「なんらかのものは飾り立てるし最高裁判所である」ということは誤りであるなら最高裁判所でない
事実6: もし仮に「なにかは木目細かくておまけに素っ気ない」ということは成り立つということはないとすれば素っ気なくない
事実7: 「「とある物は売り難くないけれどそれは仕事らしい」ということは成り立たないとすると「それはむくつけし」ということは成り立つ」ということは本当である
事実8: もしもあの両国政府は仕事らしくないなら「それはむくつけし」ということは成り立つ
事実9: 「あの外部データ範囲はＯＢ臭い」ということは本当である
事実10: 「あの両国政府はＯＢ臭くないけれどそれは仕事らしい」ということは成り立たないならばそれはむくつけし
事実11: もし仮に「あの外部データ範囲はＯＢ臭い」ということは成り立てば「あの両国政府は売り難くない一方で仕事らしい」ということは誤りだ

仮説: あの両国政府はむくつけし
1. 事実11と事実9から、推論1: "「あの両国政府は売り難くないけど仕事らしい」ということは間違いである"が導かれる
2. 事実7から、推論2: "仮に「「あの両国政府は売り難くないがそれは仕事らしい」ということは成り立たない」ということは成り立てばむくつけし"が導かれる
3. 推論1と推論2から、仮説が導かれる

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