「「仮に日本交通だとしたら二本鎖でない」ものはある」ということは誤りである
fact1: 「もしも分枝するとしたら火照らない」物はある fact2: その泥棒が日本交通ならそれは二本鎖であるということはない fact3: 「いかれるとしたら浮遊するということはない」ものはある fact4: もしもその泥棒が放牧するとしたらアメリカっぽくない fact5: 「もしも「区域だ」ということは確かだとすると団地でない」ものはある fact6: 「もしも浄化出来るとすると借り易い」ものはある fact7: 仮になにがしかの物が参入出来るならそれは現金化出来ない fact8: 「もし悪しとすれば「デザートイーグル．五零ＡＥである」ということは事実である」物はある fact9: 「もし日本交通だとすれば二本鎖である」物はある fact10: 「もし仮に住み始めるとしたら水土でない」ものはある fact11: 同欄は乱れ飛ばない fact12: その泥棒は日本交通であるならばそれは二本鎖である fact13: 「もしも冬らしいとしたら飾り枠である」ものはある fact14: 「もしも「立ち寄る」ということは誤っていないとすれば「作業療法士でない」ということは事実な」物はある
fact2 -> hypothesis;
仮に「その泥棒は参入出来る」ということは成り立つとすればそれは現金化出来ない
fact15 -> hypothesis;
$facts$ = fact1: 「もしも分枝するとしたら火照らない」物はある fact2: その泥棒が日本交通ならそれは二本鎖であるということはない fact3: 「いかれるとしたら浮遊するということはない」ものはある fact4: もしもその泥棒が放牧するとしたらアメリカっぽくない fact5: 「もしも「区域だ」ということは確かだとすると団地でない」ものはある fact6: 「もしも浄化出来るとすると借り易い」ものはある fact7: 仮になにがしかの物が参入出来るならそれは現金化出来ない fact8: 「もし悪しとすれば「デザートイーグル．五零ＡＥである」ということは事実である」物はある fact9: 「もし日本交通だとすれば二本鎖である」物はある fact10: 「もし仮に住み始めるとしたら水土でない」ものはある fact11: 同欄は乱れ飛ばない fact12: その泥棒は日本交通であるならばそれは二本鎖である fact13: 「もしも冬らしいとしたら飾り枠である」ものはある fact14: 「もしも「立ち寄る」ということは誤っていないとすれば「作業療法士でない」ということは事実な」物はある ; $hypothesis$ = 「「仮に日本交通だとしたら二本鎖でない」ものはある」ということは誤りである ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 「もしも分枝するとしたら火照らない」物はある
事実2: その泥棒が日本交通ならそれは二本鎖であるということはない
事実3: 「いかれるとしたら浮遊するということはない」ものはある
事実4: もしもその泥棒が放牧するとしたらアメリカっぽくない
事実5: 「もしも「区域だ」ということは確かだとすると団地でない」ものはある
事実6: 「もしも浄化出来るとすると借り易い」ものはある
事実7: 仮になにがしかの物が参入出来るならそれは現金化出来ない
事実8: 「もし悪しとすれば「デザートイーグル．五零ＡＥである」ということは事実である」物はある
事実9: 「もし日本交通だとすれば二本鎖である」物はある
事実10: 「もし仮に住み始めるとしたら水土でない」ものはある
事実11: 同欄は乱れ飛ばない
事実12: その泥棒は日本交通であるならばそれは二本鎖である
事実13: 「もしも冬らしいとしたら飾り枠である」ものはある
事実14: 「もしも「立ち寄る」ということは誤っていないとすれば「作業療法士でない」ということは事実な」物はある

仮説: 「「仮に日本交通だとしたら二本鎖でない」ものはある」ということは誤りである
1. 事実2から、仮説が否定される

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