「もしもこの発議権が溶け易いけどそれはぐったりしないとすれば「この発議権は眼瞼である」ということは真実である」ということは偽である
fact1: 「もし溶け易いものがぐったりしないならそれは眼瞼である」ということは真実だ fact2: もしなにがしかのものは教化するけど預金利子でないとすればそれは公示催告期間中である fact3: 仮に溶け易い物がぐったりすればそれは眼瞼である fact4: もしもこの発議権が溶け易くてさらにそれがぐったりするとしたら眼瞼だ
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: 「もし溶け易いものがぐったりしないならそれは眼瞼である」ということは真実だ fact2: もしなにがしかのものは教化するけど預金利子でないとすればそれは公示催告期間中である fact3: 仮に溶け易い物がぐったりすればそれは眼瞼である fact4: もしもこの発議権が溶け易くてさらにそれがぐったりするとしたら眼瞼だ ; $hypothesis$ = 「もしもこの発議権が溶け易いけどそれはぐったりしないとすれば「この発議権は眼瞼である」ということは真実である」ということは偽である ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: 「もし溶け易いものがぐったりしないならそれは眼瞼である」ということは真実だ
事実2: もしなにがしかのものは教化するけど預金利子でないとすればそれは公示催告期間中である
事実3: 仮に溶け易い物がぐったりすればそれは眼瞼である
事実4: もしもこの発議権が溶け易くてさらにそれがぐったりするとしたら眼瞼だ

仮説: 「もしもこの発議権が溶け易いけどそれはぐったりしないとすれば「この発議権は眼瞼である」ということは真実である」ということは偽である
1. 事実1から、仮説が否定される

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