「「スラッシュしないししかもＳＡＣＯであるなら「先取りする」ということは確かな」ものはある」ということは嘘だ
fact1: 「仮に獅子財閥であるということはないし生み続ければ「醜い」ということは確かである」ものはある fact2: 仮にそのＷＥＵがスラッシュするし加えてそれはＳＡＣＯであるとすればそれは先取りする fact3: 「「観血処置でないしむかつく」ということは確かであるならば「分母だ」ということは正しい」物はある fact4: もし仮にこの特筆物がＳＡＣＯでないけれど蔵書構成であるとすれば信号機だ fact5: 仮にそのＷＥＵはＳＡＣＯであるし更に弾圧者だとすれば少ない fact6: ある物が重たくないがしかしそれが現代物理学ならそれは雇用する fact7: 「もしもスラッシュするし加えてＳＡＣＯだとすれば先取りする」物はある fact8: もし「何かは清君であるということはないけれどそれは獅子財閥である」ということは成り立つとするとそれは画す fact9: 仮に餓鬼っぽくない物が競合するとすればそれは湿っぽい fact10: もしもそのＷＥＵがスラッシュしないけれどＳＡＣＯだとすればそれは先取りする fact11: 「非難がましくらなくてしかも自作出来るとしたらＪさんな」ものはある
fact10 -> hypothesis;
「仮に清君でなくて獅子財閥ならば「画さない」ということは事実と異なる」物はある
fact12 -> int1: もしその中小国が清君でない一方でそれは獅子財閥であるなら「画す」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: 「仮に獅子財閥であるということはないし生み続ければ「醜い」ということは確かである」ものはある fact2: 仮にそのＷＥＵがスラッシュするし加えてそれはＳＡＣＯであるとすればそれは先取りする fact3: 「「観血処置でないしむかつく」ということは確かであるならば「分母だ」ということは正しい」物はある fact4: もし仮にこの特筆物がＳＡＣＯでないけれど蔵書構成であるとすれば信号機だ fact5: 仮にそのＷＥＵはＳＡＣＯであるし更に弾圧者だとすれば少ない fact6: ある物が重たくないがしかしそれが現代物理学ならそれは雇用する fact7: 「もしもスラッシュするし加えてＳＡＣＯだとすれば先取りする」物はある fact8: もし「何かは清君であるということはないけれどそれは獅子財閥である」ということは成り立つとするとそれは画す fact9: 仮に餓鬼っぽくない物が競合するとすればそれは湿っぽい fact10: もしもそのＷＥＵがスラッシュしないけれどＳＡＣＯだとすればそれは先取りする fact11: 「非難がましくらなくてしかも自作出来るとしたらＪさんな」ものはある ; $hypothesis$ = 「「スラッシュしないししかもＳＡＣＯであるなら「先取りする」ということは確かな」ものはある」ということは嘘だ ; $proof$ = 
fact10 -> hypothesis; __DISPROVED__
事実1: 「仮に獅子財閥であるということはないし生み続ければ「醜い」ということは確かである」ものはある
事実2: 仮にそのＷＥＵがスラッシュするし加えてそれはＳＡＣＯであるとすればそれは先取りする
事実3: 「「観血処置でないしむかつく」ということは確かであるならば「分母だ」ということは正しい」物はある
事実4: もし仮にこの特筆物がＳＡＣＯでないけれど蔵書構成であるとすれば信号機だ
事実5: 仮にそのＷＥＵはＳＡＣＯであるし更に弾圧者だとすれば少ない
事実6: ある物が重たくないがしかしそれが現代物理学ならそれは雇用する
事実7: 「もしもスラッシュするし加えてＳＡＣＯだとすれば先取りする」物はある
事実8: もし「何かは清君であるということはないけれどそれは獅子財閥である」ということは成り立つとするとそれは画す
事実9: 仮に餓鬼っぽくない物が競合するとすればそれは湿っぽい
事実10: もしもそのＷＥＵがスラッシュしないけれどＳＡＣＯだとすればそれは先取りする
事実11: 「非難がましくらなくてしかも自作出来るとしたらＪさんな」ものはある

仮説: 「「スラッシュしないししかもＳＡＣＯであるなら「先取りする」ということは確かな」ものはある」ということは嘘だ
1. 事実10から、仮説が否定される

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