「あの千三百二十億金マルクが見境無いとすればあの車掌室はしゃしゃり出る」ということは誤りだ
fact1: あの千三百二十億金マルクがしゃしゃり出るしおまけに定時であるとするとそれは為らない fact2: あの千三百二十億金マルクは御裾分けする fact3: もしも何らかのものが為るし見境無いなら「定時でない」ということは成り立つ fact4: もしもあの千三百二十億金マルクが定時でないとすればあの車掌室はしゃしゃり出る fact5: 「あの千三百二十億金マルクは誘発し易いし続く」ということは成り立たない fact6: もし仮にあの千三百二十億金マルクはしゃしゃり出ればこの車掌室は誘発し易い fact7: 仮にあの千三百二十億金マルクが定時であるとすればこの車掌室は為る fact8: 定時であって更に見境無いものは続かない fact9: 「「あの千三百二十億金マルクは誘発し易いけど続かない」ということは誤りである」ということは真実だ fact10: もしもあの千三百二十億金マルクが続けば為る fact11: もし仮にこの車掌室が定時であるならばあの千三百二十億金マルクはしゃしゃり出る fact12: もしも「あの千三百二十億金マルクは誘発し易いけど続かない」ということは成り立たないとするとそれは為る
fact12 & fact9 -> int1: あの千三百二十億金マルクは為る; void -> assump1: 以下のように仮定する。「あの千三百二十億金マルクは見境無い」ということは間違っていない; int1 & assump1 -> int2: あの千三百二十億金マルクは為るしそれは見境無い; fact3 -> int3: 仮にあの千三百二十億金マルクは為るし見境無いとしたら定時でない; int2 & int3 -> int4: あの千三百二十億金マルクは定時でない; int4 & fact4 -> int5: この車掌室はしゃしゃり出る; [assump1] & int5 -> hypothesis;
$facts$ = fact1: あの千三百二十億金マルクがしゃしゃり出るしおまけに定時であるとするとそれは為らない fact2: あの千三百二十億金マルクは御裾分けする fact3: もしも何らかのものが為るし見境無いなら「定時でない」ということは成り立つ fact4: もしもあの千三百二十億金マルクが定時でないとすればあの車掌室はしゃしゃり出る fact5: 「あの千三百二十億金マルクは誘発し易いし続く」ということは成り立たない fact6: もし仮にあの千三百二十億金マルクはしゃしゃり出ればこの車掌室は誘発し易い fact7: 仮にあの千三百二十億金マルクが定時であるとすればこの車掌室は為る fact8: 定時であって更に見境無いものは続かない fact9: 「「あの千三百二十億金マルクは誘発し易いけど続かない」ということは誤りである」ということは真実だ fact10: もしもあの千三百二十億金マルクが続けば為る fact11: もし仮にこの車掌室が定時であるならばあの千三百二十億金マルクはしゃしゃり出る fact12: もしも「あの千三百二十億金マルクは誘発し易いけど続かない」ということは成り立たないとするとそれは為る ; $hypothesis$ = 「あの千三百二十億金マルクが見境無いとすればあの車掌室はしゃしゃり出る」ということは誤りだ ; $proof$ = 
fact12 & fact9 -> int1: あの千三百二十億金マルクは為る; void -> assump1: 以下のように仮定する。「あの千三百二十億金マルクは見境無い」ということは間違っていない; int1 & assump1 -> int2: あの千三百二十億金マルクは為るしそれは見境無い; fact3 -> int3: 仮にあの千三百二十億金マルクは為るし見境無いとしたら定時でない; int2 & int3 -> int4: あの千三百二十億金マルクは定時でない; int4 & fact4 -> int5: この車掌室はしゃしゃり出る; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: あの千三百二十億金マルクがしゃしゃり出るしおまけに定時であるとするとそれは為らない
事実2: あの千三百二十億金マルクは御裾分けする
事実3: もしも何らかのものが為るし見境無いなら「定時でない」ということは成り立つ
事実4: もしもあの千三百二十億金マルクが定時でないとすればあの車掌室はしゃしゃり出る
事実5: 「あの千三百二十億金マルクは誘発し易いし続く」ということは成り立たない
事実6: もし仮にあの千三百二十億金マルクはしゃしゃり出ればこの車掌室は誘発し易い
事実7: 仮にあの千三百二十億金マルクが定時であるとすればこの車掌室は為る
事実8: 定時であって更に見境無いものは続かない
事実9: 「「あの千三百二十億金マルクは誘発し易いけど続かない」ということは誤りである」ということは真実だ
事実10: もしもあの千三百二十億金マルクが続けば為る
事実11: もし仮にこの車掌室が定時であるならばあの千三百二十億金マルクはしゃしゃり出る
事実12: もしも「あの千三百二十億金マルクは誘発し易いけど続かない」ということは成り立たないとするとそれは為る

仮説: 「あの千三百二十億金マルクが見境無いとすればあの車掌室はしゃしゃり出る」ということは誤りだ
1. 事実12と事実9から、推論1: "あの千三百二十億金マルクは為る"が導かれる
2. 仮定1: 以下のように仮定する。「あの千三百二十億金マルクは見境無い」ということは間違っていない
3. 推論1と仮定1から、推論2: "あの千三百二十億金マルクは為るしそれは見境無い"が導かれる
4. 事実3から、推論3: "仮にあの千三百二十億金マルクは為るし見境無いとしたら定時でない"が導かれる
5. 推論2と推論3から、推論4: "あの千三百二十億金マルクは定時でない"が導かれる
6. 推論4と事実4から、推論5: "この車掌室はしゃしゃり出る"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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