このロフトベッドは実行可能コードでない一方で後始末だ
fact1: もしなにかは冗談ぽいならばそれは忙しい fact2: もし「このロフトベッドは実行可能コードでないけど後始末である」ということは誤っているとしたら「入院経験でない」ということは成り立つ fact3: あの取り締まり役会長は水田地帯である fact4: 仮になんらかのものは忙しくないとしたら「それは入院経験で棲息しない」ということは間違っている fact5: もし仮にこの脂質膜が棲息するとしたらあの取り締まり役会長は忙しいということはない fact6: もしこのロフトベッドが入院経験でないならばこの脂質膜は棲息する fact7: 仮に何らかのものは棲息するとすると「実行可能コードでなくて更に後始末である」ということは間違いである fact8: もし仮にこの脂質膜が冗談ぽいとしたらこのロフトベッドは忙しくない fact9: 「このロフトベッドは実行可能コードであるしそれに後始末である」ということは成り立たない fact10: もしもあの取り締まり役会長が勿体無いとしたら水っぽい fact11: あの湖水は後始末だ fact12: もし仮に「何かはわりないけれどそれは住宅候補地調書でない」ということは成り立たないとすれば「わりなくない」ということは事実だ fact13: わりなくないものは冗談ぽいし水田地帯である fact14: もしこの脂質膜は忙しいとすれば「西洋社会でない」ということは成り立つ fact15: 「このロフトベッドは実行可能コードでない」ということは成り立つ fact16: あの取り締まり役会長は冗談ぽくて水田地帯だ fact17: 仮にあの取り締まり役会長は水っぽいならば「この脂質膜はわりないがそれは住宅候補地調書でない」ということは成り立たない fact18: もし仮に「あの取り締まり役会長は棲息するということはないけれど冗談ぽい」ということは嘘であるとすれば忙しくない fact19: もし何かは成立し難いとしたらそれは騒々しい fact20: もし仮にこのロフトベッドが実行可能コードだとしたらそれは入院経験でない fact21: この脂質膜は入院経験である fact22: もし「とあるものは入院経験だがしかし棲息するということはない」ということは成り立たないとすれば棲息する
void -> assump1: 以下のように仮定する。「このロフトベッドは実行可能コードだということはないが後始末である」ということは嘘だ; fact2 & assump1 -> int1: このロフトベッドは入院経験でない; int1 & fact6 -> int2: この脂質膜は棲息する; int2 & fact5 -> int3: 「あの取り締まり役会長は忙しくない」ということは成り立つ; fact16 -> int4: あの取り締まり役会長は冗談ぽい; fact1 -> int5: もしもあの取り締まり役会長が冗談ぽいとすると忙しい; int4 & int5 -> int6: あの取り締まり役会長は忙しい; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
「このロフトベッドは実行可能コードであるということはないがしかし後始末である」ということは確かでない
fact30 -> int8: このロフトベッドは棲息するとしたら「実行可能コードでないが後始末である」ということは誤りである; fact28 -> int9: 仮に「このロフトベッドは入院経験であるけれど棲息しない」ということは成り立たないなら「それは棲息する」ということは正しい; fact29 -> int10: 仮にこのロフトベッドは忙しくないとしたら「入院経験であるしさらに棲息しない」ということは偽だ; fact27 -> int11: もしもこの脂質膜がわりなくないとしたらそれは冗談ぽくて水田地帯だ; fact25 -> int12: もし「「この脂質膜はわりないが住宅候補地調書でない」ということは成り立つ」ということは間違いだとすると「それはわりなくない」ということは確かである;
$facts$ = fact1: もしなにかは冗談ぽいならばそれは忙しい fact2: もし「このロフトベッドは実行可能コードでないけど後始末である」ということは誤っているとしたら「入院経験でない」ということは成り立つ fact3: あの取り締まり役会長は水田地帯である fact4: 仮になんらかのものは忙しくないとしたら「それは入院経験で棲息しない」ということは間違っている fact5: もし仮にこの脂質膜が棲息するとしたらあの取り締まり役会長は忙しいということはない fact6: もしこのロフトベッドが入院経験でないならばこの脂質膜は棲息する fact7: 仮に何らかのものは棲息するとすると「実行可能コードでなくて更に後始末である」ということは間違いである fact8: もし仮にこの脂質膜が冗談ぽいとしたらこのロフトベッドは忙しくない fact9: 「このロフトベッドは実行可能コードであるしそれに後始末である」ということは成り立たない fact10: もしもあの取り締まり役会長が勿体無いとしたら水っぽい fact11: あの湖水は後始末だ fact12: もし仮に「何かはわりないけれどそれは住宅候補地調書でない」ということは成り立たないとすれば「わりなくない」ということは事実だ fact13: わりなくないものは冗談ぽいし水田地帯である fact14: もしこの脂質膜は忙しいとすれば「西洋社会でない」ということは成り立つ fact15: 「このロフトベッドは実行可能コードでない」ということは成り立つ fact16: あの取り締まり役会長は冗談ぽくて水田地帯だ fact17: 仮にあの取り締まり役会長は水っぽいならば「この脂質膜はわりないがそれは住宅候補地調書でない」ということは成り立たない fact18: もし仮に「あの取り締まり役会長は棲息するということはないけれど冗談ぽい」ということは嘘であるとすれば忙しくない fact19: もし何かは成立し難いとしたらそれは騒々しい fact20: もし仮にこのロフトベッドが実行可能コードだとしたらそれは入院経験でない fact21: この脂質膜は入院経験である fact22: もし「とあるものは入院経験だがしかし棲息するということはない」ということは成り立たないとすれば棲息する ; $hypothesis$ = このロフトベッドは実行可能コードでない一方で後始末だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「このロフトベッドは実行可能コードだということはないが後始末である」ということは嘘だ; fact2 & assump1 -> int1: このロフトベッドは入院経験でない; int1 & fact6 -> int2: この脂質膜は棲息する; int2 & fact5 -> int3: 「あの取り締まり役会長は忙しくない」ということは成り立つ; fact16 -> int4: あの取り締まり役会長は冗談ぽい; fact1 -> int5: もしもあの取り締まり役会長が冗談ぽいとすると忙しい; int4 & int5 -> int6: あの取り締まり役会長は忙しい; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もしなにかは冗談ぽいならばそれは忙しい
事実2: もし「このロフトベッドは実行可能コードでないけど後始末である」ということは誤っているとしたら「入院経験でない」ということは成り立つ
事実3: あの取り締まり役会長は水田地帯である
事実4: 仮になんらかのものは忙しくないとしたら「それは入院経験で棲息しない」ということは間違っている
事実5: もし仮にこの脂質膜が棲息するとしたらあの取り締まり役会長は忙しいということはない
事実6: もしこのロフトベッドが入院経験でないならばこの脂質膜は棲息する
事実7: 仮に何らかのものは棲息するとすると「実行可能コードでなくて更に後始末である」ということは間違いである
事実8: もし仮にこの脂質膜が冗談ぽいとしたらこのロフトベッドは忙しくない
事実9: 「このロフトベッドは実行可能コードであるしそれに後始末である」ということは成り立たない
事実10: もしもあの取り締まり役会長が勿体無いとしたら水っぽい
事実11: あの湖水は後始末だ
事実12: もし仮に「何かはわりないけれどそれは住宅候補地調書でない」ということは成り立たないとすれば「わりなくない」ということは事実だ
事実13: わりなくないものは冗談ぽいし水田地帯である
事実14: もしこの脂質膜は忙しいとすれば「西洋社会でない」ということは成り立つ
事実15: 「このロフトベッドは実行可能コードでない」ということは成り立つ
事実16: あの取り締まり役会長は冗談ぽくて水田地帯だ
事実17: 仮にあの取り締まり役会長は水っぽいならば「この脂質膜はわりないがそれは住宅候補地調書でない」ということは成り立たない
事実18: もし仮に「あの取り締まり役会長は棲息するということはないけれど冗談ぽい」ということは嘘であるとすれば忙しくない
事実19: もし何かは成立し難いとしたらそれは騒々しい
事実20: もし仮にこのロフトベッドが実行可能コードだとしたらそれは入院経験でない
事実21: この脂質膜は入院経験である
事実22: もし「とあるものは入院経験だがしかし棲息するということはない」ということは成り立たないとすれば棲息する

仮説: このロフトベッドは実行可能コードでない一方で後始末だ
1. 仮定1: 以下のように仮定する。「このロフトベッドは実行可能コードだということはないが後始末である」ということは嘘だ
2. 事実2と仮定1から、推論1: "このロフトベッドは入院経験でない"が導かれる
3. 推論1と事実6から、推論2: "この脂質膜は棲息する"が導かれる
4. 推論2と事実5から、推論3: "「あの取り締まり役会長は忙しくない」ということは成り立つ"が導かれる
5. 事実16から、推論4: "あの取り締まり役会長は冗談ぽい"が導かれる
6. 事実1から、推論5: "もしもあの取り締まり役会長が冗談ぽいとすると忙しい"が導かれる
7. 推論4と推論5から、推論6: "あの取り締まり役会長は忙しい"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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