その公庫は五十嵐達でない
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: 仮にその公庫が五十嵐達でないとすればあのエクイティーは陥凹する一方でそれはやくざっぽくない
void -> assump1: 以下のように仮定する。その公庫は五十嵐達であるということはない; fact25 & assump1 -> int1: このエクイティーは陥凹するけれどやくざっぽいない; int1 -> int2: 「陥凹するけれどやくざっぽいない」ものはある; int2 & fact7 -> int3: あの幸せ一杯は話し辛い; fact22 -> int4: もしあの幸せ一杯は来し易くて問屋組であるとしたら話し辛いということはない; fact5 & fact23 -> int5: あの幸せ一杯は問屋組である; fact21 -> int6: 「あの幸せ一杯は来し易い」ということは真実である; int5 & int6 -> int7: あの幸せ一杯は来し易いししかも問屋組である; int4 & int7 -> int8: 「あの幸せ一杯は話し辛いということはない」ということは確かだ; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
その公庫は五十嵐達でない
fact30 -> int10: 「もし仮にあのリスク回避がデーでないかあるいは御稽古しないとすればあのリスク回避はデーでない」ということは正しい; fact31 -> int11: もしこの飛脚屋は内省するなら「崩せない一方でつま弾く」ということは間違いだ; int11 & fact29 -> int12: 「「この飛脚屋は崩せるということはないがしかしつま弾く」ということは事実である」ということは間違いである; fact27 & int12 -> int13: この参議院議員選挙は崩せない; fact26 & int13 -> int14: あのリスク回避はデーでないか御稽古するということはない; int10 & int14 -> int15: あのリスク回避はデーであるということはない; fact28 & int15 -> int16: 「あの幸せ一杯は湿気易くて問屋組である」ということは誤りだ; int16 -> int17: 「「湿気易くてそれに問屋組だ」ということは誤りな」ものはある; int17 & fact32 -> int18: このエクイティーは来し易くない; int18 -> int19: このエクイティーは来し易くないかもしくは話し辛いかどちらもである; int19 -> int20: 来し易くないかもしくは話し辛いものはある;
$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$ = 
void -> assump1: 以下のように仮定する。その公庫は五十嵐達であるということはない; fact25 & assump1 -> int1: このエクイティーは陥凹するけれどやくざっぽいない; int1 -> int2: 「陥凹するけれどやくざっぽいない」ものはある; int2 & fact7 -> int3: あの幸せ一杯は話し辛い; fact22 -> int4: もしあの幸せ一杯は来し易くて問屋組であるとしたら話し辛いということはない; fact5 & fact23 -> int5: あの幸せ一杯は問屋組である; fact21 -> int6: 「あの幸せ一杯は来し易い」ということは真実である; int5 & int6 -> int7: あの幸せ一杯は来し易いししかも問屋組である; int4 & int7 -> int8: 「あの幸せ一杯は話し辛いということはない」ということは確かだ; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> 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. 仮定1: 以下のように仮定する。その公庫は五十嵐達であるということはない
2. 事実25と仮定1から、推論1: "このエクイティーは陥凹するけれどやくざっぽいない"が導かれる
3. 推論1から、推論2: "「陥凹するけれどやくざっぽいない」ものはある"が導かれる
4. 推論2と事実7から、推論3: "あの幸せ一杯は話し辛い"が導かれる
5. 事実22から、推論4: "もしあの幸せ一杯は来し易くて問屋組であるとしたら話し辛いということはない"が導かれる
6. 事実5と事実23から、推論5: "あの幸せ一杯は問屋組である"が導かれる
7. 事実21から、推論6: "「あの幸せ一杯は来し易い」ということは真実である"が導かれる
8. 推論5と推論6から、推論7: "あの幸せ一杯は来し易いししかも問屋組である"が導かれる
9. 推論4と推論7から、推論8: "「あの幸せ一杯は話し辛いということはない」ということは確かだ"が導かれる
10. 推論3と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が否定される

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