「「その日本化学療法学会は国際自由労連でかつ支持する」ということは間違いであるということはない」ということは偽だ
fact1: もしも「その一晩は国際自由労連である」ということは成り立つとしたら「その日本化学療法学会は支持しない一方で手引きする」ということは誤りだ fact2: もしなにがしかの物は手引きするということはないとすると「国際自由労連であるしその上支持する」ということは成り立たない fact3: その日本化学療法学会は国際自由労連だ fact4: もし何かはＫＧ群ならば国際自由労連である fact5: その日本化学療法学会は支持する
fact3 & fact5 -> hypothesis;
fact3 & fact5 -> hypothesis;
あの仙川小金井分水路工事事件は支持する
fact6 -> int1: もしその一晩がＫＧ群なら国際自由労連だ;
$facts$ = fact1: もしも「その一晩は国際自由労連である」ということは成り立つとしたら「その日本化学療法学会は支持しない一方で手引きする」ということは誤りだ fact2: もしなにがしかの物は手引きするということはないとすると「国際自由労連であるしその上支持する」ということは成り立たない fact3: その日本化学療法学会は国際自由労連だ fact4: もし何かはＫＧ群ならば国際自由労連である fact5: その日本化学療法学会は支持する ; $hypothesis$ = 「「その日本化学療法学会は国際自由労連でかつ支持する」ということは間違いであるということはない」ということは偽だ ; $proof$ = 
fact3 & fact5 -> hypothesis; __DISPROVED__
事実1: もしも「その一晩は国際自由労連である」ということは成り立つとしたら「その日本化学療法学会は支持しない一方で手引きする」ということは誤りだ
事実2: もしなにがしかの物は手引きするということはないとすると「国際自由労連であるしその上支持する」ということは成り立たない
事実3: その日本化学療法学会は国際自由労連だ
事実4: もし何かはＫＧ群ならば国際自由労連である
事実5: その日本化学療法学会は支持する

仮説: 「「その日本化学療法学会は国際自由労連でかつ支持する」ということは間違いであるということはない」ということは偽だ
1. 事実3と事実5から、仮説が否定される

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