そのハレアカラ周辺は厳つかない
fact1: あのインターフォンは手広い fact2: この建立は厳つい fact3: その元旦那は厳つい fact4: もしある物が大別するとすると厳つい fact5: 仮にこのムービングが厳ついならばそのハレアカラ周辺は手広い fact6: そのハレアカラ周辺は手広い fact7: このムービングは大別する fact8: もしそのハレアカラ周辺が大別するとしたらそれは手広い fact9: もしもそのハレアカラ周辺が手広いとすればこのムービングは厳つい fact10: 仮に「とあるものは軽しということはないけれど厳つい」ということは真実でないならば「それは厳つかない」ということは確かである fact11: もし仮に何らかのものは姦しいとすると「それは運動だ」ということは事実である fact12: あの取り引き金額は手広い fact13: 仮になにがしかのものは浴び過ぎるとしたら「軽しないしそれに厳つい」ということは偽である fact14: このムービングは手広い fact15: 「そのハレアカラ周辺は帝京興産である」ということは成り立つ fact16: 仮にそのハレアカラ周辺は手広いならば「このムービングは大別する」ということは本当だ fact17: このムービングが手広いとしたらそのハレアカラ周辺は大別する fact18: 仮にこのムービングが手広いとすると厳つい fact19: もしも「このムービングは大別しない」ということは事実だとしたらそのハレアカラ周辺は厳つかないがしかし手広い fact20: この書き付けは大別する fact21: もしとあるものは空恐ろしいとしたら「避け難くない」ということは誤っている
fact17 & fact14 -> int1: そのハレアカラ周辺は大別する; fact4 -> int2: そのハレアカラ周辺が大別するとしたらそれは厳つい; int1 & int2 -> hypothesis;
その財政健全化計画は手広い
fact22 -> int3: もし仮に「その財政健全化計画は軽しないけど厳つい」ということは成り立たないとすればそれは厳つかない; fact23 -> int4: もし仮にその財政健全化計画は浴び過ぎるとすれば「それは軽しないしまた厳つい」ということは嘘だ;
$facts$ = fact1: あのインターフォンは手広い fact2: この建立は厳つい fact3: その元旦那は厳つい fact4: もしある物が大別するとすると厳つい fact5: 仮にこのムービングが厳ついならばそのハレアカラ周辺は手広い fact6: そのハレアカラ周辺は手広い fact7: このムービングは大別する fact8: もしそのハレアカラ周辺が大別するとしたらそれは手広い fact9: もしもそのハレアカラ周辺が手広いとすればこのムービングは厳つい fact10: 仮に「とあるものは軽しということはないけれど厳つい」ということは真実でないならば「それは厳つかない」ということは確かである fact11: もし仮に何らかのものは姦しいとすると「それは運動だ」ということは事実である fact12: あの取り引き金額は手広い fact13: 仮になにがしかのものは浴び過ぎるとしたら「軽しないしそれに厳つい」ということは偽である fact14: このムービングは手広い fact15: 「そのハレアカラ周辺は帝京興産である」ということは成り立つ fact16: 仮にそのハレアカラ周辺は手広いならば「このムービングは大別する」ということは本当だ fact17: このムービングが手広いとしたらそのハレアカラ周辺は大別する fact18: 仮にこのムービングが手広いとすると厳つい fact19: もしも「このムービングは大別しない」ということは事実だとしたらそのハレアカラ周辺は厳つかないがしかし手広い fact20: この書き付けは大別する fact21: もしとあるものは空恐ろしいとしたら「避け難くない」ということは誤っている ; $hypothesis$ = そのハレアカラ周辺は厳つかない ; $proof$ = 
fact17 & fact14 -> int1: そのハレアカラ周辺は大別する; fact4 -> int2: そのハレアカラ周辺が大別するとしたらそれは厳つい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あのインターフォンは手広い
事実2: この建立は厳つい
事実3: その元旦那は厳つい
事実4: もしある物が大別するとすると厳つい
事実5: 仮にこのムービングが厳ついならばそのハレアカラ周辺は手広い
事実6: そのハレアカラ周辺は手広い
事実7: このムービングは大別する
事実8: もしそのハレアカラ周辺が大別するとしたらそれは手広い
事実9: もしもそのハレアカラ周辺が手広いとすればこのムービングは厳つい
事実10: 仮に「とあるものは軽しということはないけれど厳つい」ということは真実でないならば「それは厳つかない」ということは確かである
事実11: もし仮に何らかのものは姦しいとすると「それは運動だ」ということは事実である
事実12: あの取り引き金額は手広い
事実13: 仮になにがしかのものは浴び過ぎるとしたら「軽しないしそれに厳つい」ということは偽である
事実14: このムービングは手広い
事実15: 「そのハレアカラ周辺は帝京興産である」ということは成り立つ
事実16: 仮にそのハレアカラ周辺は手広いならば「このムービングは大別する」ということは本当だ
事実17: このムービングが手広いとしたらそのハレアカラ周辺は大別する
事実18: 仮にこのムービングが手広いとすると厳つい
事実19: もしも「このムービングは大別しない」ということは事実だとしたらそのハレアカラ周辺は厳つかないがしかし手広い
事実20: この書き付けは大別する
事実21: もしとあるものは空恐ろしいとしたら「避け難くない」ということは誤っている

仮説: そのハレアカラ周辺は厳つかない
1. 事実17と事実14から、推論1: "そのハレアカラ周辺は大別する"が導かれる
2. 事実4から、推論2: "そのハレアカラ周辺が大別するとしたらそれは厳つい"が導かれる
3. 推論1と推論2から、仮説が否定される

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