もしもあの貯蔵槽が蓮華文であるとすればこの準公共系は当期業績主義的利益である
fact1: 何かは蓮華文だ fact2: この準公共系は危険回避だ fact3: もし仮にあの無認可が初発しないとすればその郷鎮企業は委託放送業務であるか編み入れない fact4: もしとある物は委託放送業務でないとすれば「痩せ難くないかそれはコカでないかまたはどちらもである」ということは成り立たない fact5: 「あの悲報は痩せ難くないかまたはコカだということはないかまたはどちらもである」ということは成り立たないとするとあの貯蔵槽はコカである fact6: あの貯蔵槽はブラック・エルクだ fact7: 「「競落でないがしかし悪戯っぽい」ということは間違っている」ものはある fact8: その郷鎮企業が委託放送業務であるかまたは編み入れないならばあの悲報は委託放送業務でない fact9: あるものがぱさつかないならそれは大罪であるししかも偲ぶ fact10: この準公共系はブラック・エルクだ fact11: もしも「あの貯蔵槽は当期業績主義的利益でないしそれは蓮華文でない」ということは嘘だとすればこの準公共系はブラック・エルクである fact12: もしもなんらかのものが蓮華文であるししかもそれがブラック・エルクだとすればこの準公共系は当期業績主義的利益だ fact13: もしその子嚢果は偲ぶとすると「あの無認可は偲ぶ」ということは成り立つ fact14: もし何らかのものはコカなら「当期業績主義的利益でないし蓮華文であるということはない」ということは成り立たない fact15: 何らかの物は蓮華文であるしおまけに当期業績主義的利益だ fact16: ある物はブラック・エルクである fact17: 仮にある物が偲ぶとするとそれは初発しない
void -> assump1: 以下のように仮定する。あの貯蔵槽は蓮華文である; assump1 & fact6 -> int1: あの貯蔵槽は蓮華文であるし加えてブラック・エルクである; int1 -> int2: 「蓮華文であるしブラック・エルクである」物はある; int2 & fact12 -> int3: この準公共系は当期業績主義的利益である; [assump1] & int3 -> hypothesis;
この準公共系はブラック・エルクだ
fact24 -> int4: あの貯蔵槽はコカだとすると「当期業績主義的利益でなくてそれは蓮華文だということはない」ということは成り立たない; fact26 -> int5: あの悲報は委託放送業務でないとすると「それは痩せ難くないかもしくはコカであるということはないかもしくは両方である」ということは間違っている; fact23 -> int6: もしあの無認可が偲べばそれは初発しない; fact27 -> int7: 仮にその子嚢果がぱさつかないとしたら大罪だしさらに偲ぶ;
$facts$ = fact1: 何かは蓮華文だ fact2: この準公共系は危険回避だ fact3: もし仮にあの無認可が初発しないとすればその郷鎮企業は委託放送業務であるか編み入れない fact4: もしとある物は委託放送業務でないとすれば「痩せ難くないかそれはコカでないかまたはどちらもである」ということは成り立たない fact5: 「あの悲報は痩せ難くないかまたはコカだということはないかまたはどちらもである」ということは成り立たないとするとあの貯蔵槽はコカである fact6: あの貯蔵槽はブラック・エルクだ fact7: 「「競落でないがしかし悪戯っぽい」ということは間違っている」ものはある fact8: その郷鎮企業が委託放送業務であるかまたは編み入れないならばあの悲報は委託放送業務でない fact9: あるものがぱさつかないならそれは大罪であるししかも偲ぶ fact10: この準公共系はブラック・エルクだ fact11: もしも「あの貯蔵槽は当期業績主義的利益でないしそれは蓮華文でない」ということは嘘だとすればこの準公共系はブラック・エルクである fact12: もしもなんらかのものが蓮華文であるししかもそれがブラック・エルクだとすればこの準公共系は当期業績主義的利益だ fact13: もしその子嚢果は偲ぶとすると「あの無認可は偲ぶ」ということは成り立つ fact14: もし何らかのものはコカなら「当期業績主義的利益でないし蓮華文であるということはない」ということは成り立たない fact15: 何らかの物は蓮華文であるしおまけに当期業績主義的利益だ fact16: ある物はブラック・エルクである fact17: 仮にある物が偲ぶとするとそれは初発しない ; $hypothesis$ = もしもあの貯蔵槽が蓮華文であるとすればこの準公共系は当期業績主義的利益である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの貯蔵槽は蓮華文である; assump1 & fact6 -> int1: あの貯蔵槽は蓮華文であるし加えてブラック・エルクである; int1 -> int2: 「蓮華文であるしブラック・エルクである」物はある; int2 & fact12 -> int3: この準公共系は当期業績主義的利益である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 何かは蓮華文だ
事実2: この準公共系は危険回避だ
事実3: もし仮にあの無認可が初発しないとすればその郷鎮企業は委託放送業務であるか編み入れない
事実4: もしとある物は委託放送業務でないとすれば「痩せ難くないかそれはコカでないかまたはどちらもである」ということは成り立たない
事実5: 「あの悲報は痩せ難くないかまたはコカだということはないかまたはどちらもである」ということは成り立たないとするとあの貯蔵槽はコカである
事実6: あの貯蔵槽はブラック・エルクだ
事実7: 「「競落でないがしかし悪戯っぽい」ということは間違っている」ものはある
事実8: その郷鎮企業が委託放送業務であるかまたは編み入れないならばあの悲報は委託放送業務でない
事実9: あるものがぱさつかないならそれは大罪であるししかも偲ぶ
事実10: この準公共系はブラック・エルクだ
事実11: もしも「あの貯蔵槽は当期業績主義的利益でないしそれは蓮華文でない」ということは嘘だとすればこの準公共系はブラック・エルクである
事実12: もしもなんらかのものが蓮華文であるししかもそれがブラック・エルクだとすればこの準公共系は当期業績主義的利益だ
事実13: もしその子嚢果は偲ぶとすると「あの無認可は偲ぶ」ということは成り立つ
事実14: もし何らかのものはコカなら「当期業績主義的利益でないし蓮華文であるということはない」ということは成り立たない
事実15: 何らかの物は蓮華文であるしおまけに当期業績主義的利益だ
事実16: ある物はブラック・エルクである
事実17: 仮にある物が偲ぶとするとそれは初発しない

仮説: もしもあの貯蔵槽が蓮華文であるとすればこの準公共系は当期業績主義的利益である
1. 仮定1: 以下のように仮定する。あの貯蔵槽は蓮華文である
2. 仮定1と事実6から、推論1: "あの貯蔵槽は蓮華文であるし加えてブラック・エルクである"が導かれる
3. 推論1から、推論2: "「蓮華文であるしブラック・エルクである」物はある"が導かれる
4. 推論2と事実12から、推論3: "この準公共系は当期業績主義的利益である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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