その二億五千万人は大根踊りでない
fact1: その二億五千万人は安打だ fact2: もしも「とある物は荒くなくて油っぽくない」ということは間違いだとすると「それは油っぽい」ということは正しい fact3: もしとあるものは吸い上げないなら「売っ払うしそれは油っぽい」ということは成り立たない fact4: このプロラクチンは売っ払う fact5: もしもこの由緒が素早くないならばそれは窶す fact6: 仮にこのメタスタジオは吸い上げないなら「その二億五千万人は荒くなくて更に油っぽくない」ということは間違いである fact7: 仮にその鉄砲隊が安打なら売っ払わない fact8: 仮になにかは荒いとすれば吸い上げるか鈍いということはないかまたはどちらもである fact9: もしもこの由緒がフレアースカートであるとするとあの生徒全員は荒い fact10: 仮にこのメタスタジオは売っ払わないとしたら「その二億五千万人が安打だけど大根踊りでない」ということは正しくない fact11: もし仮になんらかのものが窶すならフレアースカートである fact12: 仮にあの生徒全員が荒いならばその細胞体積は荒い fact13: もしも「油っぽい」ものがあるとするとあの受動喫煙防止措置は売っ払うしさらにそれは安打である fact14: もしも何かは安打ならば油っぽい fact15: もし仮にその鉄砲隊が油っぽいとすればあの二億五千万人は売っ払う fact16: もしも「なにがしかの物は売っ払うしまたそれは油っぽい」ということは成り立たないとすれば売っ払うということはない fact17: 「もしもその二億五千万人が売っ払うならその二億五千万人は大根踊りだということはない」ということは成り立つ fact18: 「なにかは向き合う」ということは真実だとするとクリエイションだ fact19: 「「何らかの物は安打である一方で大根踊りでない」ということは正しい」ということは間違っているとすると大根踊りである fact20: 「もしその細胞体積が吸い上げるか鈍くないかまたはどちらもだとしたらこのメタスタジオは吸い上げない」ということは誤っているということはない fact21: その鉄砲隊は安打だ
fact14 -> int1: もしその鉄砲隊が安打ならば油っぽい; int1 & fact21 -> int2: 「その鉄砲隊は油っぽい」ということは真実である; int2 & fact15 -> int3: その二億五千万人は売っ払う; int3 & fact17 -> hypothesis;
その二億五千万人は大根踊りである
fact25 -> int4: もしも「「その二億五千万人は安打だけれど大根踊りでない」ということは間違っている」ということは成り立てば大根踊りである; fact31 -> int5: 仮に「このメタスタジオは売っ払うしさらに油っぽい」ということは嘘だとすれば売っ払わない; fact28 -> int6: もしこのメタスタジオは吸い上げないとすると「それは売っ払うし油っぽい」ということは本当でない; fact27 -> int7: もし「その細胞体積は荒い」ということは成り立てばそれは吸い上げるかもしくは鈍くない; fact26 -> int8: 仮にこの由緒が窶すとすればフレアースカートだ;
$facts$ = fact1: その二億五千万人は安打だ fact2: もしも「とある物は荒くなくて油っぽくない」ということは間違いだとすると「それは油っぽい」ということは正しい fact3: もしとあるものは吸い上げないなら「売っ払うしそれは油っぽい」ということは成り立たない fact4: このプロラクチンは売っ払う fact5: もしもこの由緒が素早くないならばそれは窶す fact6: 仮にこのメタスタジオは吸い上げないなら「その二億五千万人は荒くなくて更に油っぽくない」ということは間違いである fact7: 仮にその鉄砲隊が安打なら売っ払わない fact8: 仮になにかは荒いとすれば吸い上げるか鈍いということはないかまたはどちらもである fact9: もしもこの由緒がフレアースカートであるとするとあの生徒全員は荒い fact10: 仮にこのメタスタジオは売っ払わないとしたら「その二億五千万人が安打だけど大根踊りでない」ということは正しくない fact11: もし仮になんらかのものが窶すならフレアースカートである fact12: 仮にあの生徒全員が荒いならばその細胞体積は荒い fact13: もしも「油っぽい」ものがあるとするとあの受動喫煙防止措置は売っ払うしさらにそれは安打である fact14: もしも何かは安打ならば油っぽい fact15: もし仮にその鉄砲隊が油っぽいとすればあの二億五千万人は売っ払う fact16: もしも「なにがしかの物は売っ払うしまたそれは油っぽい」ということは成り立たないとすれば売っ払うということはない fact17: 「もしもその二億五千万人が売っ払うならその二億五千万人は大根踊りだということはない」ということは成り立つ fact18: 「なにかは向き合う」ということは真実だとするとクリエイションだ fact19: 「「何らかの物は安打である一方で大根踊りでない」ということは正しい」ということは間違っているとすると大根踊りである fact20: 「もしその細胞体積が吸い上げるか鈍くないかまたはどちらもだとしたらこのメタスタジオは吸い上げない」ということは誤っているということはない fact21: その鉄砲隊は安打だ ; $hypothesis$ = その二億五千万人は大根踊りでない ; $proof$ = 
fact14 -> int1: もしその鉄砲隊が安打ならば油っぽい; int1 & fact21 -> int2: 「その鉄砲隊は油っぽい」ということは真実である; int2 & fact15 -> int3: その二億五千万人は売っ払う; int3 & fact17 -> hypothesis; __PROVED__
事実1: その二億五千万人は安打だ
事実2: もしも「とある物は荒くなくて油っぽくない」ということは間違いだとすると「それは油っぽい」ということは正しい
事実3: もしとあるものは吸い上げないなら「売っ払うしそれは油っぽい」ということは成り立たない
事実4: このプロラクチンは売っ払う
事実5: もしもこの由緒が素早くないならばそれは窶す
事実6: 仮にこのメタスタジオは吸い上げないなら「その二億五千万人は荒くなくて更に油っぽくない」ということは間違いである
事実7: 仮にその鉄砲隊が安打なら売っ払わない
事実8: 仮になにかは荒いとすれば吸い上げるか鈍いということはないかまたはどちらもである
事実9: もしもこの由緒がフレアースカートであるとするとあの生徒全員は荒い
事実10: 仮にこのメタスタジオは売っ払わないとしたら「その二億五千万人が安打だけど大根踊りでない」ということは正しくない
事実11: もし仮になんらかのものが窶すならフレアースカートである
事実12: 仮にあの生徒全員が荒いならばその細胞体積は荒い
事実13: もしも「油っぽい」ものがあるとするとあの受動喫煙防止措置は売っ払うしさらにそれは安打である
事実14: もしも何かは安打ならば油っぽい
事実15: もし仮にその鉄砲隊が油っぽいとすればあの二億五千万人は売っ払う
事実16: もしも「なにがしかの物は売っ払うしまたそれは油っぽい」ということは成り立たないとすれば売っ払うということはない
事実17: 「もしもその二億五千万人が売っ払うならその二億五千万人は大根踊りだということはない」ということは成り立つ
事実18: 「なにかは向き合う」ということは真実だとするとクリエイションだ
事実19: 「「何らかの物は安打である一方で大根踊りでない」ということは正しい」ということは間違っているとすると大根踊りである
事実20: 「もしその細胞体積が吸い上げるか鈍くないかまたはどちらもだとしたらこのメタスタジオは吸い上げない」ということは誤っているということはない
事実21: その鉄砲隊は安打だ

仮説: その二億五千万人は大根踊りでない
1. 事実14から、推論1: "もしその鉄砲隊が安打ならば油っぽい"が導かれる
2. 推論1と事実21から、推論2: "「その鉄砲隊は油っぽい」ということは真実である"が導かれる
3. 推論2と事実15から、推論3: "その二億五千万人は売っ払う"が導かれる
4. 推論3と事実17から、仮説が導かれる

よって、仮説が証明されました。