「その何様は成功するということはない」ということは本当である
fact1: もしとあるものが可愛らしくないならそれは立証すということはない fact2: 可愛らしくない物は立証すしかつずれ込む fact3: あの競演がずれ込むとすればその何様は成功する fact4: もし仮にあのタイ人が受賞者でないがそれは立証すとすると「あの競演はずれ込む」ということは偽でない fact5: もしなにがしかの物は立証すということはないとすれば「それはずれ込むししかも受賞者である」ということは成り立たない fact6: 全ては立証す fact7: もしも「ある物はずれ込むしまた受賞者だ」ということは正しくないならそれは受賞者でない fact8: 全ては受賞者だということはないが立証す
fact8 -> int1: あのタイ人は受賞者でない一方でそれは立証す; int1 & fact4 -> int2: あの競演はずれ込む; int2 & fact3 -> hypothesis;
その何様は成功しない
fact11 -> int3: もし「その何様はずれ込むしかつそれは受賞者だ」ということは誤りだとすると受賞者でない; fact10 -> int4: もしその何様は立証すらないとしたら「それはずれ込むしさらに受賞者である」ということは誤っている; fact9 -> int5: もしその何様が可愛らしくないとするとそれは立証すらない;
$facts$ = fact1: もしとあるものが可愛らしくないならそれは立証すということはない fact2: 可愛らしくない物は立証すしかつずれ込む fact3: あの競演がずれ込むとすればその何様は成功する fact4: もし仮にあのタイ人が受賞者でないがそれは立証すとすると「あの競演はずれ込む」ということは偽でない fact5: もしなにがしかの物は立証すということはないとすれば「それはずれ込むししかも受賞者である」ということは成り立たない fact6: 全ては立証す fact7: もしも「ある物はずれ込むしまた受賞者だ」ということは正しくないならそれは受賞者でない fact8: 全ては受賞者だということはないが立証す ; $hypothesis$ = 「その何様は成功するということはない」ということは本当である ; $proof$ = 
fact8 -> int1: あのタイ人は受賞者でない一方でそれは立証す; int1 & fact4 -> int2: あの競演はずれ込む; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: もしとあるものが可愛らしくないならそれは立証すということはない
事実2: 可愛らしくない物は立証すしかつずれ込む
事実3: あの競演がずれ込むとすればその何様は成功する
事実4: もし仮にあのタイ人が受賞者でないがそれは立証すとすると「あの競演はずれ込む」ということは偽でない
事実5: もしなにがしかの物は立証すということはないとすれば「それはずれ込むししかも受賞者である」ということは成り立たない
事実6: 全ては立証す
事実7: もしも「ある物はずれ込むしまた受賞者だ」ということは正しくないならそれは受賞者でない
事実8: 全ては受賞者だということはないが立証す

仮説: 「その何様は成功するということはない」ということは本当である
1. 事実8から、推論1: "あのタイ人は受賞者でない一方でそれは立証す"が導かれる
2. 推論1と事実4から、推論2: "あの競演はずれ込む"が導かれる
3. 推論2と事実3から、仮説が否定される

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