そのハンガーは恐ろしい
fact1: もしなにがしかの物は欲求するということはないとすれば「あの二．五ＯＺは見込まないかあるいは三倍洗いであるかまたは両方ともだ」ということは事実と異なる fact2: 仮にある物がワン・ツー・ワン・マーケティングでないとすればそれは恐ろしいし自問する fact3: もし仮になにかは見込まないかまたは伺わないかまたは両方ともならそれは絶え間無くない fact4: もし仮に何かは憎々しくないかまたはそれは掛け忘れないかもしくは両方であるとすれば「そのハンガーは欲求するということはない」ということは成り立つ fact5: 仮にそのハンガーが怖いとすれば恐ろしい fact6: 仮になんらかの物が伺わないなら絶え間無くない fact7: そのハンガーは定める fact8: もし仮に「あのマネジメント体制は自問するしワン・ツー・ワン・マーケティングである」ということは事実と異なればそのハンガーは恐ろしくない fact9: 「このマネタリズム理論は抗戦しなくて怖くない」ということは嘘である fact10: 「そのハンガーはファシリテーションでなくてしかも怖くない」ということは成り立たない fact11: 「そのハンガーはファシリテーションであるということはないけれどそれは怖い」ということは成り立たない fact12: 「何らかのものは見込まないかもしくは三倍洗いであるかまたはどちらもだ」ということは誤りであるとすると「伺うということはない」ということは確かだ fact13: 「あのマネジメント体制は掛け忘れない」ということは事実だ fact14: 仮に「「そのハンガーはファシリテーションでなくてしかも怖くない」ということは誤っている」ということは成り立つなら「恐ろしい」ということは事実だ fact15: 絶え間無くない物はワン・ツー・ワン・マーケティングでない
fact14 & fact10 -> hypothesis;
fact14 & fact10 -> hypothesis;
あの二．五ＯＺは恐ろしい
fact19 -> int1: もし仮にあの二．五ＯＺはワン・ツー・ワン・マーケティングでないとしたらそれは恐ろしいしそれに自問する; fact20 -> int2: あの二．五ＯＺが絶え間無くないならそれはワン・ツー・ワン・マーケティングであるということはない; fact21 -> int3: もし仮にあの二．五ＯＺが伺わないとすると絶え間無くない; fact16 -> int4: 「あの二．五ＯＺは見込まないかあるいはそれは三倍洗いである」ということは偽なら伺うということはない; fact17 -> int5: あのマネジメント体制は憎々しくないか掛け忘れないかまたは両方ともである; int5 -> int6: 「憎々しくないかまたは掛け忘れるということはないかあるいはどちらもである」ものはある; int6 & fact22 -> int7: そのハンガーは欲求しない; int7 -> int8: 何らかの物は欲求するということはない; int8 & fact18 -> int9: 「あの二．五ＯＺは見込まないかまたは三倍洗いであるかあるいは両方ともだ」ということは成り立たない; int4 & int9 -> int10: あの二．五ＯＺは伺うということはない; int3 & int10 -> int11: 「あの二．五ＯＺは絶え間無くない」ということは真実である; int2 & int11 -> int12: あの二．五ＯＺはワン・ツー・ワン・マーケティングでない; int1 & int12 -> int13: あの二．五ＯＺは恐ろしいしその上自問する; int13 -> hypothesis;
$facts$ = fact1: もしなにがしかの物は欲求するということはないとすれば「あの二．五ＯＺは見込まないかあるいは三倍洗いであるかまたは両方ともだ」ということは事実と異なる fact2: 仮にある物がワン・ツー・ワン・マーケティングでないとすればそれは恐ろしいし自問する fact3: もし仮になにかは見込まないかまたは伺わないかまたは両方ともならそれは絶え間無くない fact4: もし仮に何かは憎々しくないかまたはそれは掛け忘れないかもしくは両方であるとすれば「そのハンガーは欲求するということはない」ということは成り立つ fact5: 仮にそのハンガーが怖いとすれば恐ろしい fact6: 仮になんらかの物が伺わないなら絶え間無くない fact7: そのハンガーは定める fact8: もし仮に「あのマネジメント体制は自問するしワン・ツー・ワン・マーケティングである」ということは事実と異なればそのハンガーは恐ろしくない fact9: 「このマネタリズム理論は抗戦しなくて怖くない」ということは嘘である fact10: 「そのハンガーはファシリテーションでなくてしかも怖くない」ということは成り立たない fact11: 「そのハンガーはファシリテーションであるということはないけれどそれは怖い」ということは成り立たない fact12: 「何らかのものは見込まないかもしくは三倍洗いであるかまたはどちらもだ」ということは誤りであるとすると「伺うということはない」ということは確かだ fact13: 「あのマネジメント体制は掛け忘れない」ということは事実だ fact14: 仮に「「そのハンガーはファシリテーションでなくてしかも怖くない」ということは誤っている」ということは成り立つなら「恐ろしい」ということは事実だ fact15: 絶え間無くない物はワン・ツー・ワン・マーケティングでない ; $hypothesis$ = そのハンガーは恐ろしい ; $proof$ = 
fact14 & fact10 -> hypothesis; __PROVED__
事実1: もしなにがしかの物は欲求するということはないとすれば「あの二．五ＯＺは見込まないかあるいは三倍洗いであるかまたは両方ともだ」ということは事実と異なる
事実2: 仮にある物がワン・ツー・ワン・マーケティングでないとすればそれは恐ろしいし自問する
事実3: もし仮になにかは見込まないかまたは伺わないかまたは両方ともならそれは絶え間無くない
事実4: もし仮に何かは憎々しくないかまたはそれは掛け忘れないかもしくは両方であるとすれば「そのハンガーは欲求するということはない」ということは成り立つ
事実5: 仮にそのハンガーが怖いとすれば恐ろしい
事実6: 仮になんらかの物が伺わないなら絶え間無くない
事実7: そのハンガーは定める
事実8: もし仮に「あのマネジメント体制は自問するしワン・ツー・ワン・マーケティングである」ということは事実と異なればそのハンガーは恐ろしくない
事実9: 「このマネタリズム理論は抗戦しなくて怖くない」ということは嘘である
事実10: 「そのハンガーはファシリテーションでなくてしかも怖くない」ということは成り立たない
事実11: 「そのハンガーはファシリテーションであるということはないけれどそれは怖い」ということは成り立たない
事実12: 「何らかのものは見込まないかもしくは三倍洗いであるかまたはどちらもだ」ということは誤りであるとすると「伺うということはない」ということは確かだ
事実13: 「あのマネジメント体制は掛け忘れない」ということは事実だ
事実14: 仮に「「そのハンガーはファシリテーションでなくてしかも怖くない」ということは誤っている」ということは成り立つなら「恐ろしい」ということは事実だ
事実15: 絶え間無くない物はワン・ツー・ワン・マーケティングでない

仮説: そのハンガーは恐ろしい
1. 事実14と事実10から、仮説が導かれる

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