この動物解放は建築しない
fact1: この動物解放は建築するししかも醸造する fact2: もしもなにがしかの物はくたばらないなら「それは秘めるし醸造しない」ということは成り立たない fact3: この動物解放は醸造する fact4: その同種療法は惨くて加えて醸造する
fact1 -> hypothesis;
fact1 -> hypothesis;
この動物解放は建築するということはない
fact5 -> int1: この動物解放はくたばらないとすれば「それは秘めるし醸造しない」ということは事実と異なる;
$facts$ = fact1: この動物解放は建築するししかも醸造する fact2: もしもなにがしかの物はくたばらないなら「それは秘めるし醸造しない」ということは成り立たない fact3: この動物解放は醸造する fact4: その同種療法は惨くて加えて醸造する ; $hypothesis$ = この動物解放は建築しない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: この動物解放は建築するししかも醸造する
事実2: もしもなにがしかの物はくたばらないなら「それは秘めるし醸造しない」ということは成り立たない
事実3: この動物解放は醸造する
事実4: その同種療法は惨くて加えて醸造する

仮説: この動物解放は建築しない
1. 事実1から、仮説が否定される

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