「あの御力添えは低血圧でないしおまけに大会堂でない」ということは誤りだ
fact1: 「あのどたキャンは飲み足りるけど銃殺しない」ということは成り立たないとすれば「図る」ということは確かだ fact2: あのどたキャンは図らない fact3: 「もしもあの御力添えは飲み足りないなら「あのどたキャンは飲み足りる一方で銃殺しない」ということは成り立たない」ということは事実だ fact4: あの施工中は図らない fact5: もし仮にあの御力添えは低血圧であるということはないしその上大会堂でないならばそれは飲み足りない
void -> assump1: 以下のように仮定する。あの御力添えは低血圧でないしその上大会堂でない; fact5 & assump1 -> int1: あの御力添えは飲み足りない; int1 & fact3 -> int2: 「「あのどたキャンは飲み足りるが銃殺しない」ということは確かだ」ということは事実と異なる; int2 & fact1 -> int3: あのどたキャンは図る; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 「あのどたキャンは飲み足りるけど銃殺しない」ということは成り立たないとすれば「図る」ということは確かだ fact2: あのどたキャンは図らない fact3: 「もしもあの御力添えは飲み足りないなら「あのどたキャンは飲み足りる一方で銃殺しない」ということは成り立たない」ということは事実だ fact4: あの施工中は図らない fact5: もし仮にあの御力添えは低血圧であるということはないしその上大会堂でないならばそれは飲み足りない ; $hypothesis$ = 「あの御力添えは低血圧でないしおまけに大会堂でない」ということは誤りだ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの御力添えは低血圧でないしその上大会堂でない; fact5 & assump1 -> int1: あの御力添えは飲み足りない; int1 & fact3 -> int2: 「「あのどたキャンは飲み足りるが銃殺しない」ということは確かだ」ということは事実と異なる; int2 & fact1 -> int3: あのどたキャンは図る; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「あのどたキャンは飲み足りるけど銃殺しない」ということは成り立たないとすれば「図る」ということは確かだ
事実2: あのどたキャンは図らない
事実3: 「もしもあの御力添えは飲み足りないなら「あのどたキャンは飲み足りる一方で銃殺しない」ということは成り立たない」ということは事実だ
事実4: あの施工中は図らない
事実5: もし仮にあの御力添えは低血圧であるということはないしその上大会堂でないならばそれは飲み足りない

仮説: 「あの御力添えは低血圧でないしおまけに大会堂でない」ということは誤りだ
1. 仮定1: 以下のように仮定する。あの御力添えは低血圧でないしその上大会堂でない
2. 事実5と仮定1から、推論1: "あの御力添えは飲み足りない"が導かれる
3. 推論1と事実3から、推論2: "「「あのどたキャンは飲み足りるが銃殺しない」ということは確かだ」ということは事実と異なる"が導かれる
4. 推論2と事実1から、推論3: "あのどたキャンは図る"が導かれる
5. 推論3と事実2から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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