この審査機関は疚しくない
fact1: 「油っぽくないし更に当たり難くない」ものはある fact2: もしも「なんらかの物は華々しくないがしかしそれは賞状である」ということは真実であるということはないならば疚しい fact3: 仮に「なんらかの物は空気力であるがしかしそれは争わない」ということは誤りだとすれば空気力でない fact4: 何かは空気力でないとすると「それは華々しくないけど賞状だ」ということは嘘だ fact5: この審査機関は疚しい fact6: なにかは見ないとすると「それが空気力だししかも争うということはない」ということは間違っている fact7: もしとある物が空気力でないとするとそれは賞状だということはなくてかつそれは華々しい
fact5 -> hypothesis;
fact5 -> hypothesis;
この審査機関は疚しくない
fact8 -> int1: もしこの三万双合同結婚式が空気力でないとすればそれは賞状でなくてまた華々しい; fact10 -> int2: もし仮に「この三万双合同結婚式は空気力であるけど争うということはない」ということは本当でないとすれば「空気力だということはない」ということは正しい; fact9 -> int3: もしもこの三万双合同結婚式は見るということはないなら「それは空気力であるしそれは争わない」ということは成り立たない;
$facts$ = fact1: 「油っぽくないし更に当たり難くない」ものはある fact2: もしも「なんらかの物は華々しくないがしかしそれは賞状である」ということは真実であるということはないならば疚しい fact3: 仮に「なんらかの物は空気力であるがしかしそれは争わない」ということは誤りだとすれば空気力でない fact4: 何かは空気力でないとすると「それは華々しくないけど賞状だ」ということは嘘だ fact5: この審査機関は疚しい fact6: なにかは見ないとすると「それが空気力だししかも争うということはない」ということは間違っている fact7: もしとある物が空気力でないとするとそれは賞状だということはなくてかつそれは華々しい ; $hypothesis$ = この審査機関は疚しくない ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: 「油っぽくないし更に当たり難くない」ものはある
事実2: もしも「なんらかの物は華々しくないがしかしそれは賞状である」ということは真実であるということはないならば疚しい
事実3: 仮に「なんらかの物は空気力であるがしかしそれは争わない」ということは誤りだとすれば空気力でない
事実4: 何かは空気力でないとすると「それは華々しくないけど賞状だ」ということは嘘だ
事実5: この審査機関は疚しい
事実6: なにかは見ないとすると「それが空気力だししかも争うということはない」ということは間違っている
事実7: もしとある物が空気力でないとするとそれは賞状だということはなくてかつそれは華々しい

仮説: この審査機関は疚しくない
1. 事実5から、仮説が否定される

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