「「仮に「うろちょろしなくて気付き易いということはない」ということは成り立たないとするとべた部でない」物はある」ということは成り立たない
fact1: もし仮にあの光明日報がうろちょろしなくてまたそれが気付き易いということはないとするとそれはべた部でない fact2: 仮にあの光明日報はうろちょろするとすれば「それはべた部でない」ということは成り立つ fact3: もし仮に「あの光明日報はうろちょろしなくてしかもそれは気付き易くない」ということは偽ならべた部でない fact4: 「もし仮に気付き易いとすればべた部であるということはない」ものはある fact5: 「「遅れ易くないし面白おかしくない」ということは真実でないなら費用計上するということはない」物はある fact6: 仮にあのコークスクリューがべた部でないしかつそれは三資企業でないならはにかまない fact7: 「もしもうろちょろするとすればべた部でない」ものはある fact8: 「その万世は方形周溝墓でないし気付き易くない」ということは誤っているとしたらそれはＳＥＣ規則である fact9: 「もし夏冬であるとしたら開業するということはない」物はある
fact3 -> hypothesis;
$facts$ = fact1: もし仮にあの光明日報がうろちょろしなくてまたそれが気付き易いということはないとするとそれはべた部でない fact2: 仮にあの光明日報はうろちょろするとすれば「それはべた部でない」ということは成り立つ fact3: もし仮に「あの光明日報はうろちょろしなくてしかもそれは気付き易くない」ということは偽ならべた部でない fact4: 「もし仮に気付き易いとすればべた部であるということはない」ものはある fact5: 「「遅れ易くないし面白おかしくない」ということは真実でないなら費用計上するということはない」物はある fact6: 仮にあのコークスクリューがべた部でないしかつそれは三資企業でないならはにかまない fact7: 「もしもうろちょろするとすればべた部でない」ものはある fact8: 「その万世は方形周溝墓でないし気付き易くない」ということは誤っているとしたらそれはＳＥＣ規則である fact9: 「もし夏冬であるとしたら開業するということはない」物はある ; $hypothesis$ = 「「仮に「うろちょろしなくて気付き易いということはない」ということは成り立たないとするとべた部でない」物はある」ということは成り立たない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: もし仮にあの光明日報がうろちょろしなくてまたそれが気付き易いということはないとするとそれはべた部でない
事実2: 仮にあの光明日報はうろちょろするとすれば「それはべた部でない」ということは成り立つ
事実3: もし仮に「あの光明日報はうろちょろしなくてしかもそれは気付き易くない」ということは偽ならべた部でない
事実4: 「もし仮に気付き易いとすればべた部であるということはない」ものはある
事実5: 「「遅れ易くないし面白おかしくない」ということは真実でないなら費用計上するということはない」物はある
事実6: 仮にあのコークスクリューがべた部でないしかつそれは三資企業でないならはにかまない
事実7: 「もしもうろちょろするとすればべた部でない」ものはある
事実8: 「その万世は方形周溝墓でないし気付き易くない」ということは誤っているとしたらそれはＳＥＣ規則である
事実9: 「もし夏冬であるとしたら開業するということはない」物はある

仮説: 「「仮に「うろちょろしなくて気付き易いということはない」ということは成り立たないとするとべた部でない」物はある」ということは成り立たない
1. 事実3から、仮説が否定される

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