「その天照大神はＥＣＧ異常である」ということは成り立つ
fact1: もしも「その不妊は偏り易い」ということは確かだとすればそれは分割しない fact2: その天照大神が分割するとすればこの締まりはＥＣＧ異常でない fact3: 「あの重装甲は手酷くないしまた勝ち易くない」ということは成り立たない fact4: 仮にあの所得税が偏り易いがしかし未開封でないとすればその天照大神は偏り易くない fact5: この締まりは刺客集団である fact6: もしあの所得税が馬鹿でかいならば偏り易くてそれは未開封でない fact7: もしも「とある物は刺客集団でない」ということは成り立つとしたらそれはＥＣＧ異常でまた分割する fact8: 「ＥＣＧ異常が分割しないならそれは刺客集団だ」ということは真実である fact9: その不妊はＥＣＧ異常だ fact10: その天照大神は区別出来るしおまけにアイブラシである fact11: 「この締まりは分割するし刺客集団である」ということは成り立つ fact12: もしもあの所得税は馬鹿でかいとすると「偏り易くないしかつそれは勝ち易いということはない」ということは誤りだ fact13: もしその天照大神が刺客集団だとするとこの締まりはＥＣＧ異常でない fact14: もし仮に「「偏り易いということはなくて加えて勝ち易くない」ということは誤っている」物があるとするとこの締まりは際限無いということはない fact15: その天照大神は寝苦しくない fact16: もしもその天照大神が偏り易くないならその不妊は偏り易い fact17: 「この訴訟係属は刺客集団でない」ということは成り立つ fact18: あの所得税は馬鹿でかい fact19: あの所得税は未開封でないけど馬鹿でかい fact20: 仮にこの締まりは分割すれば「その天照大神はＥＣＧ異常でない」ということは偽でない
fact11 -> int1: この締まりは分割する; int1 & fact20 -> hypothesis;
その天照大神はＥＣＧ異常だ
fact22 -> int2: その天照大神が刺客集団でないとすればＥＣＧ異常だしかつ分割する; fact21 -> int3: 「あの所得税は馬鹿でかい」ということは成り立つ; fact24 & int3 -> int4: 「あの所得税は偏り易いということはないし勝ち易くない」ということは事実と異なる; int4 -> int5: 「「偏り易くなくて勝ち易くない」ということは誤っている」ものはある; int5 & fact23 -> int6: この締まりは際限無くない; int6 -> int7: 「際限無くない」物はある;
$facts$ = fact1: もしも「その不妊は偏り易い」ということは確かだとすればそれは分割しない fact2: その天照大神が分割するとすればこの締まりはＥＣＧ異常でない fact3: 「あの重装甲は手酷くないしまた勝ち易くない」ということは成り立たない fact4: 仮にあの所得税が偏り易いがしかし未開封でないとすればその天照大神は偏り易くない fact5: この締まりは刺客集団である fact6: もしあの所得税が馬鹿でかいならば偏り易くてそれは未開封でない fact7: もしも「とある物は刺客集団でない」ということは成り立つとしたらそれはＥＣＧ異常でまた分割する fact8: 「ＥＣＧ異常が分割しないならそれは刺客集団だ」ということは真実である fact9: その不妊はＥＣＧ異常だ fact10: その天照大神は区別出来るしおまけにアイブラシである fact11: 「この締まりは分割するし刺客集団である」ということは成り立つ fact12: もしもあの所得税は馬鹿でかいとすると「偏り易くないしかつそれは勝ち易いということはない」ということは誤りだ fact13: もしその天照大神が刺客集団だとするとこの締まりはＥＣＧ異常でない fact14: もし仮に「「偏り易いということはなくて加えて勝ち易くない」ということは誤っている」物があるとするとこの締まりは際限無いということはない fact15: その天照大神は寝苦しくない fact16: もしもその天照大神が偏り易くないならその不妊は偏り易い fact17: 「この訴訟係属は刺客集団でない」ということは成り立つ fact18: あの所得税は馬鹿でかい fact19: あの所得税は未開封でないけど馬鹿でかい fact20: 仮にこの締まりは分割すれば「その天照大神はＥＣＧ異常でない」ということは偽でない ; $hypothesis$ = 「その天照大神はＥＣＧ異常である」ということは成り立つ ; $proof$ = 
fact11 -> int1: この締まりは分割する; int1 & fact20 -> hypothesis; __DISPROVED__
事実1: もしも「その不妊は偏り易い」ということは確かだとすればそれは分割しない
事実2: その天照大神が分割するとすればこの締まりはＥＣＧ異常でない
事実3: 「あの重装甲は手酷くないしまた勝ち易くない」ということは成り立たない
事実4: 仮にあの所得税が偏り易いがしかし未開封でないとすればその天照大神は偏り易くない
事実5: この締まりは刺客集団である
事実6: もしあの所得税が馬鹿でかいならば偏り易くてそれは未開封でない
事実7: もしも「とある物は刺客集団でない」ということは成り立つとしたらそれはＥＣＧ異常でまた分割する
事実8: 「ＥＣＧ異常が分割しないならそれは刺客集団だ」ということは真実である
事実9: その不妊はＥＣＧ異常だ
事実10: その天照大神は区別出来るしおまけにアイブラシである
事実11: 「この締まりは分割するし刺客集団である」ということは成り立つ
事実12: もしもあの所得税は馬鹿でかいとすると「偏り易くないしかつそれは勝ち易いということはない」ということは誤りだ
事実13: もしその天照大神が刺客集団だとするとこの締まりはＥＣＧ異常でない
事実14: もし仮に「「偏り易いということはなくて加えて勝ち易くない」ということは誤っている」物があるとするとこの締まりは際限無いということはない
事実15: その天照大神は寝苦しくない
事実16: もしもその天照大神が偏り易くないならその不妊は偏り易い
事実17: 「この訴訟係属は刺客集団でない」ということは成り立つ
事実18: あの所得税は馬鹿でかい
事実19: あの所得税は未開封でないけど馬鹿でかい
事実20: 仮にこの締まりは分割すれば「その天照大神はＥＣＧ異常でない」ということは偽でない

仮説: 「その天照大神はＥＣＧ異常である」ということは成り立つ
1. 事実11から、推論1: "この締まりは分割する"が導かれる
2. 推論1と事実20から、仮説が否定される

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