「「分かり兼ねるかあるいは清める」ものはある」ということは偽だ
fact1: 「上り易くない物は一割近くである」ということは間違いでない fact2: その反省論は払拭出来ない fact3: あの湯葉は畿内説でないかそれは清めない fact4: 仮にその反省論が流れ落ちるとすればそれは古典主義である fact5: そのフランス大会がまだるっこしいとするとそれは流れ落ちる fact6: 仮にそのフランス大会は古典主義ならば「それは流れ落ちる」ということは誤りでない fact7: 仮になんらかの物はいかさないとすれば「それはまだるっこしい」ということは事実である fact8: 「清めるか古典主義であるかもしくは両方ともである」ものはある fact9: 仮にそのフランス大会が清めないならば払拭出来る fact10: その脚気は分かり兼ねらない fact11: もし仮にそのフランス大会は古典主義であるとすればそれはまだるっこしい fact12: もしもそのフランス大会が清めないかあるいは古典主義でないとすれば「その反省論は流れ落ちない」ということは成り立つ fact13: そのフランス大会は乗車出来る fact14: とある物は石蹴りであるか暮らし易い fact15: 仮にそのフランス大会が流れ落ちるとすれば分かり兼ねる fact16: その反省論は払拭出来ないかもしくは古典主義であるかまたは両方ともだ fact17: そのフランス大会は払拭出来るかもしくは流れ落ちるか両方である fact18: その反省論は払拭出来るか古典主義でないかもしくはどちらもである fact19: その反省論はまだるっこしい fact20: もしその反省論は払拭出来れば「いかす」ということは偽でない fact21: その反省論は温いならば「それはいかす」ということは偽でない fact22: もし仮にそのフランス大会は血液透析中でないとするとそれは分かり兼ねる fact23: あのブラインド役はいかさないかもしくは画しないか両方だ fact24: このアメリカーナは甚だしいかもしくはそれは流れ落ちるかもしくは両方だ fact25: もしも「その反省論は払拭出来ないかあるいはそれは古典主義でない」ということは事実と異ならないとすればそのフランス大会はいかさない
fact2 -> int1: その反省論は払拭出来ないか古典主義でない; int1 & fact25 -> int2: 「そのフランス大会はいかさない」ということは確かである; fact7 -> int3: もしそのフランス大会がいかさないとすればまだるっこしい; int2 & int3 -> int4: そのフランス大会はまだるっこしい; int4 & fact5 -> int5: そのフランス大会は流れ落ちる; int5 & fact15 -> int6: そのフランス大会は分かり兼ねる; int6 -> int7: そのフランス大会は分かり兼ねるかあるいはそれは清める; int7 -> hypothesis;
$facts$ = fact1: 「上り易くない物は一割近くである」ということは間違いでない fact2: その反省論は払拭出来ない fact3: あの湯葉は畿内説でないかそれは清めない fact4: 仮にその反省論が流れ落ちるとすればそれは古典主義である fact5: そのフランス大会がまだるっこしいとするとそれは流れ落ちる fact6: 仮にそのフランス大会は古典主義ならば「それは流れ落ちる」ということは誤りでない fact7: 仮になんらかの物はいかさないとすれば「それはまだるっこしい」ということは事実である fact8: 「清めるか古典主義であるかもしくは両方ともである」ものはある fact9: 仮にそのフランス大会が清めないならば払拭出来る fact10: その脚気は分かり兼ねらない fact11: もし仮にそのフランス大会は古典主義であるとすればそれはまだるっこしい fact12: もしもそのフランス大会が清めないかあるいは古典主義でないとすれば「その反省論は流れ落ちない」ということは成り立つ fact13: そのフランス大会は乗車出来る fact14: とある物は石蹴りであるか暮らし易い fact15: 仮にそのフランス大会が流れ落ちるとすれば分かり兼ねる fact16: その反省論は払拭出来ないかもしくは古典主義であるかまたは両方ともだ fact17: そのフランス大会は払拭出来るかもしくは流れ落ちるか両方である fact18: その反省論は払拭出来るか古典主義でないかもしくはどちらもである fact19: その反省論はまだるっこしい fact20: もしその反省論は払拭出来れば「いかす」ということは偽でない fact21: その反省論は温いならば「それはいかす」ということは偽でない fact22: もし仮にそのフランス大会は血液透析中でないとするとそれは分かり兼ねる fact23: あのブラインド役はいかさないかもしくは画しないか両方だ fact24: このアメリカーナは甚だしいかもしくはそれは流れ落ちるかもしくは両方だ fact25: もしも「その反省論は払拭出来ないかあるいはそれは古典主義でない」ということは事実と異ならないとすればそのフランス大会はいかさない ; $hypothesis$ = 「「分かり兼ねるかあるいは清める」ものはある」ということは偽だ ; $proof$ = 
fact2 -> int1: その反省論は払拭出来ないか古典主義でない; int1 & fact25 -> int2: 「そのフランス大会はいかさない」ということは確かである; fact7 -> int3: もしそのフランス大会がいかさないとすればまだるっこしい; int2 & int3 -> int4: そのフランス大会はまだるっこしい; int4 & fact5 -> int5: そのフランス大会は流れ落ちる; int5 & fact15 -> int6: そのフランス大会は分かり兼ねる; int6 -> int7: そのフランス大会は分かり兼ねるかあるいはそれは清める; int7 -> hypothesis; __DISPROVED__
事実1: 「上り易くない物は一割近くである」ということは間違いでない
事実2: その反省論は払拭出来ない
事実3: あの湯葉は畿内説でないかそれは清めない
事実4: 仮にその反省論が流れ落ちるとすればそれは古典主義である
事実5: そのフランス大会がまだるっこしいとするとそれは流れ落ちる
事実6: 仮にそのフランス大会は古典主義ならば「それは流れ落ちる」ということは誤りでない
事実7: 仮になんらかの物はいかさないとすれば「それはまだるっこしい」ということは事実である
事実8: 「清めるか古典主義であるかもしくは両方ともである」ものはある
事実9: 仮にそのフランス大会が清めないならば払拭出来る
事実10: その脚気は分かり兼ねらない
事実11: もし仮にそのフランス大会は古典主義であるとすればそれはまだるっこしい
事実12: もしもそのフランス大会が清めないかあるいは古典主義でないとすれば「その反省論は流れ落ちない」ということは成り立つ
事実13: そのフランス大会は乗車出来る
事実14: とある物は石蹴りであるか暮らし易い
事実15: 仮にそのフランス大会が流れ落ちるとすれば分かり兼ねる
事実16: その反省論は払拭出来ないかもしくは古典主義であるかまたは両方ともだ
事実17: そのフランス大会は払拭出来るかもしくは流れ落ちるか両方である
事実18: その反省論は払拭出来るか古典主義でないかもしくはどちらもである
事実19: その反省論はまだるっこしい
事実20: もしその反省論は払拭出来れば「いかす」ということは偽でない
事実21: その反省論は温いならば「それはいかす」ということは偽でない
事実22: もし仮にそのフランス大会は血液透析中でないとするとそれは分かり兼ねる
事実23: あのブラインド役はいかさないかもしくは画しないか両方だ
事実24: このアメリカーナは甚だしいかもしくはそれは流れ落ちるかもしくは両方だ
事実25: もしも「その反省論は払拭出来ないかあるいはそれは古典主義でない」ということは事実と異ならないとすればそのフランス大会はいかさない

仮説: 「「分かり兼ねるかあるいは清める」ものはある」ということは偽だ
1. 事実2から、推論1: "その反省論は払拭出来ないか古典主義でない"が導かれる
2. 推論1と事実25から、推論2: "「そのフランス大会はいかさない」ということは確かである"が導かれる
3. 事実7から、推論3: "もしそのフランス大会がいかさないとすればまだるっこしい"が導かれる
4. 推論2と推論3から、推論4: "そのフランス大会はまだるっこしい"が導かれる
5. 推論4と事実5から、推論5: "そのフランス大会は流れ落ちる"が導かれる
6. 推論5と事実15から、推論6: "そのフランス大会は分かり兼ねる"が導かれる
7. 推論6から、推論7: "そのフランス大会は分かり兼ねるかあるいはそれは清める"が導かれる
8. 推論7から、仮説が否定される

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