「「外国企業でないとすれば「とろ臭くないしそれに陳謝する」ということは成り立たない」物はある」ということは偽だ
fact1: 「仮に「外国企業であるということはない」ということは成り立つとするととろ臭いということはないがしかし陳謝する」物はある fact2: 「もし外国企業であるとしたら「とろ臭くないし陳謝する」ということは嘘である」物はある fact3: 「もしも外国企業だということはないなら「とろ臭いしその上陳謝する」ということは間違っている」ものはある fact4: もしもこのコンテクストは外国企業でないとしたら「とろ臭いということはないけれど陳謝する」ということは成り立たない fact5: このコンテクストは外国企業でないなら「とろ臭いしまた陳謝する」ということは偽だ fact6: 仮にとある物は伏在しないとすれば「それは残念がらないがしかし労労じ」ということは事実と異なる fact7: 何かはリニューアルするということはないとしたら「技術水準でなくてまた外国企業だ」ということは成り立たない fact8: もし「このコンテクストは陳謝しない」ということは成り立つとすると「漏れ無いし伏在する」ということは誤りだ fact9: もしこのコンテクストは外国企業だとしたら「それはとろ臭くない一方で陳謝する」ということは成り立たない fact10: このコンテクストは外国企業でないならそれはとろ臭いということはないけど陳謝する
fact4 -> hypothesis;
あの精神的ショックはリニューアルしないなら「それは技術水準でなくてまた外国企業である」ということは成り立たない
fact11 -> hypothesis;
$facts$ = fact1: 「仮に「外国企業であるということはない」ということは成り立つとするととろ臭いということはないがしかし陳謝する」物はある fact2: 「もし外国企業であるとしたら「とろ臭くないし陳謝する」ということは嘘である」物はある fact3: 「もしも外国企業だということはないなら「とろ臭いしその上陳謝する」ということは間違っている」ものはある fact4: もしもこのコンテクストは外国企業でないとしたら「とろ臭いということはないけれど陳謝する」ということは成り立たない fact5: このコンテクストは外国企業でないなら「とろ臭いしまた陳謝する」ということは偽だ fact6: 仮にとある物は伏在しないとすれば「それは残念がらないがしかし労労じ」ということは事実と異なる fact7: 何かはリニューアルするということはないとしたら「技術水準でなくてまた外国企業だ」ということは成り立たない fact8: もし「このコンテクストは陳謝しない」ということは成り立つとすると「漏れ無いし伏在する」ということは誤りだ fact9: もしこのコンテクストは外国企業だとしたら「それはとろ臭くない一方で陳謝する」ということは成り立たない fact10: このコンテクストは外国企業でないならそれはとろ臭いということはないけど陳謝する ; $hypothesis$ = 「「外国企業でないとすれば「とろ臭くないしそれに陳謝する」ということは成り立たない」物はある」ということは偽だ ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: 「仮に「外国企業であるということはない」ということは成り立つとするととろ臭いということはないがしかし陳謝する」物はある
事実2: 「もし外国企業であるとしたら「とろ臭くないし陳謝する」ということは嘘である」物はある
事実3: 「もしも外国企業だということはないなら「とろ臭いしその上陳謝する」ということは間違っている」ものはある
事実4: もしもこのコンテクストは外国企業でないとしたら「とろ臭いということはないけれど陳謝する」ということは成り立たない
事実5: このコンテクストは外国企業でないなら「とろ臭いしまた陳謝する」ということは偽だ
事実6: 仮にとある物は伏在しないとすれば「それは残念がらないがしかし労労じ」ということは事実と異なる
事実7: 何かはリニューアルするということはないとしたら「技術水準でなくてまた外国企業だ」ということは成り立たない
事実8: もし「このコンテクストは陳謝しない」ということは成り立つとすると「漏れ無いし伏在する」ということは誤りだ
事実9: もしこのコンテクストは外国企業だとしたら「それはとろ臭くない一方で陳謝する」ということは成り立たない
事実10: このコンテクストは外国企業でないならそれはとろ臭いということはないけど陳謝する

仮説: 「「外国企業でないとすれば「とろ臭くないしそれに陳謝する」ということは成り立たない」物はある」ということは偽だ
1. 事実4から、仮説が否定される

よって、仮説が否定されました。