「仮に「どす黒い」ということは事実ならば素晴らしい」ものはある
fact1: アウトソースは素晴らしい fact2: もしあるものは地方議員でないとしたら「それは其れっぽくないが御美しい」ということは本当でない fact3: あの梻はどす黒い fact4: 仮に「この参りは人ＨＥＶでない」ということは本当だとすればかっかするかまたは悪賢いかあるいは両方ともである fact5: もし仮にある物は共和臨時革命政府でないとするとアウトソースであるし素晴らしい fact6: 「底堅いものはアウトソースである」ということは真実だ fact7: 何らかの物はどす黒いとすると「それは手早いということはなくて更に底堅くない」ということは成り立たない fact8: その爆竹が底堅いならばそれはアウトソースだ fact9: ある物は馬産地だとしたら「ゆき光米粉であるか人恋しくないかもしくは両方である」ということは偽だ fact10: この参りが大人っぽいとしたらあのベンチャー企業は馬産地だ fact11: もしも何らかのものはどす黒いなら「手早いということはなくてしかも底堅い」ということは誤りである fact12: 「もしも「なにがしかの物は手早くないししかも底堅くない」ということは成り立たないなら「それはアウトソースだ」ということは確かだ」ということは事実である fact13: もしその爆竹が素晴らしいならそれは滑降する fact14: 仮に「なにかはゆき光米粉であるかあるいは人恋しくない」ということは偽ならそれは地方議員でない fact15: 仮になにがしかの物はアウトソースなら「その爆竹はどす黒くないしおまけにそれは御分かり頂けない」ということは成り立たない fact16: この参りは人ＨＥＶでない fact17: 仮にこの参りがかっかするとすると大人っぽい fact18: もし「なにがしかのものは其れっぽいということはない一方で御美しい」ということは間違いであるとすれば「共和臨時革命政府でない」ということは誤っていない
fact7 -> int1: もしもその爆竹はどす黒いならば「それは手早くないしそれは底堅いということはない」ということは間違いである; void -> assump1: 以下のように仮定する。その爆竹はどす黒い; int1 & assump1 -> int2: 「その爆竹は手早くないし底堅くない」ということは成り立たない; fact12 -> int3: 「「その爆竹は手早くないし底堅くない」ということは成り立たない」ということは成り立てば「アウトソースだ」ということは成り立つ; int2 & int3 -> int4: その爆竹はアウトソースだ; fact1 -> int5: 仮にその爆竹がアウトソースだとすると素晴らしい; int4 & int5 -> int6: その爆竹は素晴らしい; [assump1] & int6 -> int7: 仮にその爆竹がどす黒いとすればそれは素晴らしい; int7 -> hypothesis;
「その爆竹はどす黒くないしそれに御分かり頂けない」ということは誤りである
fact24 -> int8: もしあのベンチャー企業が共和臨時革命政府でないとすればそれはアウトソースだし素晴らしい; fact20 -> int9: もし「あのベンチャー企業は其れっぽくないけれど御美しい」ということは真実でないとすればそれは共和臨時革命政府でない; fact28 -> int10: 「あのベンチャー企業は地方議員でないならば「あのベンチャー企業は其れっぽくないけれど御美しい」ということは成り立たない」ということは成り立つ; fact25 -> int11: 「あのベンチャー企業はゆき光米粉であるか人恋しくない」ということは間違っているとしたらそれは地方議員でない; fact19 -> int12: あのベンチャー企業は馬産地だとしたら「それはゆき光米粉であるかあるいはそれは人恋しくない」ということは成り立たない; fact22 & fact26 -> int13: この参りはかっかするかもしくは悪賢い;
$facts$ = fact1: アウトソースは素晴らしい fact2: もしあるものは地方議員でないとしたら「それは其れっぽくないが御美しい」ということは本当でない fact3: あの梻はどす黒い fact4: 仮に「この参りは人ＨＥＶでない」ということは本当だとすればかっかするかまたは悪賢いかあるいは両方ともである fact5: もし仮にある物は共和臨時革命政府でないとするとアウトソースであるし素晴らしい fact6: 「底堅いものはアウトソースである」ということは真実だ fact7: 何らかの物はどす黒いとすると「それは手早いということはなくて更に底堅くない」ということは成り立たない fact8: その爆竹が底堅いならばそれはアウトソースだ fact9: ある物は馬産地だとしたら「ゆき光米粉であるか人恋しくないかもしくは両方である」ということは偽だ fact10: この参りが大人っぽいとしたらあのベンチャー企業は馬産地だ fact11: もしも何らかのものはどす黒いなら「手早いということはなくてしかも底堅い」ということは誤りである fact12: 「もしも「なにがしかの物は手早くないししかも底堅くない」ということは成り立たないなら「それはアウトソースだ」ということは確かだ」ということは事実である fact13: もしその爆竹が素晴らしいならそれは滑降する fact14: 仮に「なにかはゆき光米粉であるかあるいは人恋しくない」ということは偽ならそれは地方議員でない fact15: 仮になにがしかの物はアウトソースなら「その爆竹はどす黒くないしおまけにそれは御分かり頂けない」ということは成り立たない fact16: この参りは人ＨＥＶでない fact17: 仮にこの参りがかっかするとすると大人っぽい fact18: もし「なにがしかのものは其れっぽいということはない一方で御美しい」ということは間違いであるとすれば「共和臨時革命政府でない」ということは誤っていない ; $hypothesis$ = 「仮に「どす黒い」ということは事実ならば素晴らしい」ものはある ; $proof$ = 
fact7 -> int1: もしもその爆竹はどす黒いならば「それは手早くないしそれは底堅いということはない」ということは間違いである; void -> assump1: 以下のように仮定する。その爆竹はどす黒い; int1 & assump1 -> int2: 「その爆竹は手早くないし底堅くない」ということは成り立たない; fact12 -> int3: 「「その爆竹は手早くないし底堅くない」ということは成り立たない」ということは成り立てば「アウトソースだ」ということは成り立つ; int2 & int3 -> int4: その爆竹はアウトソースだ; fact1 -> int5: 仮にその爆竹がアウトソースだとすると素晴らしい; int4 & int5 -> int6: その爆竹は素晴らしい; [assump1] & int6 -> int7: 仮にその爆竹がどす黒いとすればそれは素晴らしい; int7 -> hypothesis; __PROVED__
事実1: アウトソースは素晴らしい
事実2: もしあるものは地方議員でないとしたら「それは其れっぽくないが御美しい」ということは本当でない
事実3: あの梻はどす黒い
事実4: 仮に「この参りは人ＨＥＶでない」ということは本当だとすればかっかするかまたは悪賢いかあるいは両方ともである
事実5: もし仮にある物は共和臨時革命政府でないとするとアウトソースであるし素晴らしい
事実6: 「底堅いものはアウトソースである」ということは真実だ
事実7: 何らかの物はどす黒いとすると「それは手早いということはなくて更に底堅くない」ということは成り立たない
事実8: その爆竹が底堅いならばそれはアウトソースだ
事実9: ある物は馬産地だとしたら「ゆき光米粉であるか人恋しくないかもしくは両方である」ということは偽だ
事実10: この参りが大人っぽいとしたらあのベンチャー企業は馬産地だ
事実11: もしも何らかのものはどす黒いなら「手早いということはなくてしかも底堅い」ということは誤りである
事実12: 「もしも「なにがしかの物は手早くないししかも底堅くない」ということは成り立たないなら「それはアウトソースだ」ということは確かだ」ということは事実である
事実13: もしその爆竹が素晴らしいならそれは滑降する
事実14: 仮に「なにかはゆき光米粉であるかあるいは人恋しくない」ということは偽ならそれは地方議員でない
事実15: 仮になにがしかの物はアウトソースなら「その爆竹はどす黒くないしおまけにそれは御分かり頂けない」ということは成り立たない
事実16: この参りは人ＨＥＶでない
事実17: 仮にこの参りがかっかするとすると大人っぽい
事実18: もし「なにがしかのものは其れっぽいということはない一方で御美しい」ということは間違いであるとすれば「共和臨時革命政府でない」ということは誤っていない

仮説: 「仮に「どす黒い」ということは事実ならば素晴らしい」ものはある
1. 事実7から、推論1: "もしもその爆竹はどす黒いならば「それは手早くないしそれは底堅いということはない」ということは間違いである"が導かれる
2. 仮定1: 以下のように仮定する。その爆竹はどす黒い
3. 推論1と仮定1から、推論2: "「その爆竹は手早くないし底堅くない」ということは成り立たない"が導かれる
4. 事実12から、推論3: "「「その爆竹は手早くないし底堅くない」ということは成り立たない」ということは成り立てば「アウトソースだ」ということは成り立つ"が導かれる
5. 推論2と推論3から、推論4: "その爆竹はアウトソースだ"が導かれる
6. 事実1から、推論5: "仮にその爆竹がアウトソースだとすると素晴らしい"が導かれる
7. 推論4と推論5から、推論6: "その爆竹は素晴らしい"が導かれる
8. [仮定1]と推論6から、推論7: "仮にその爆竹がどす黒いとすればそれは素晴らしい"が導かれる
9. 推論7から、仮説が導かれる

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