「その作出は投扇興でそれは縁遠い」ということは間違いである
fact1: もしもある物が有名人でないとしたらその作出が投扇興だしそれは縁遠い fact2: 「有名人な」物はある fact3: 仮になんらかの物は有名人でないならば「それは投扇興であるしそれは縁遠い」ということは間違っている fact4: その作出は投扇興だ fact5: 何かは有名人でない fact6: もしもなんらかのものが有名人でないならその作出は投扇興だ fact7: 「そのフレアースカートは怨念であるしおまけにホスト名だ」ということは成り立たないならこの光蘚はホスト名でない fact8: もし仮に「なんらかのものは有名人であるし加えて怒りっぽい」ということは誤りだとすれば有名人でない
fact5 & fact1 -> hypothesis;
fact5 & fact1 -> hypothesis;
「「その作出は投扇興だしかつ縁遠い」ということは成り立たない」ということは本当である
fact10 -> int1: 仮にその作出は有名人であるということはないとすれば「投扇興であるしかつ縁遠い」ということは間違っている; fact11 -> int2: もし仮に「その作出は有名人であるし更に怒りっぽい」ということは間違いであるとすると「有名人でない」ということは確かである;
$facts$ = fact1: もしもある物が有名人でないとしたらその作出が投扇興だしそれは縁遠い fact2: 「有名人な」物はある fact3: 仮になんらかの物は有名人でないならば「それは投扇興であるしそれは縁遠い」ということは間違っている fact4: その作出は投扇興だ fact5: 何かは有名人でない fact6: もしもなんらかのものが有名人でないならその作出は投扇興だ fact7: 「そのフレアースカートは怨念であるしおまけにホスト名だ」ということは成り立たないならこの光蘚はホスト名でない fact8: もし仮に「なんらかのものは有名人であるし加えて怒りっぽい」ということは誤りだとすれば有名人でない ; $hypothesis$ = 「その作出は投扇興でそれは縁遠い」ということは間違いである ; $proof$ = 
fact5 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもある物が有名人でないとしたらその作出が投扇興だしそれは縁遠い
事実2: 「有名人な」物はある
事実3: 仮になんらかの物は有名人でないならば「それは投扇興であるしそれは縁遠い」ということは間違っている
事実4: その作出は投扇興だ
事実5: 何かは有名人でない
事実6: もしもなんらかのものが有名人でないならその作出は投扇興だ
事実7: 「そのフレアースカートは怨念であるしおまけにホスト名だ」ということは成り立たないならこの光蘚はホスト名でない
事実8: もし仮に「なんらかのものは有名人であるし加えて怒りっぽい」ということは誤りだとすれば有名人でない

仮説: 「その作出は投扇興でそれは縁遠い」ということは間違いである
1. 事実5と事実1から、仮説が否定される

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