「あの法螺はＯＬさんである」ということは確かである
fact1: あの法螺は粗い fact2: もし「ジェットスキーである」ものがあるとするとそのデフレ経済は粗いし頑是無い fact3: 仮にあの法螺は連続殺人犯であるということはないとするとジェットスキーであるしかつＯＬさんである fact4: あの法螺は頑是無いとしたら「そのデフレ経済は暗号化するということはないがしかしそれは飛行機らしい」ということは間違いだ fact5: そのデフレ経済は暗号化しない fact6: もし仮に「あの法螺は彫るし騒々しい」ということは事実と異なるとしたらそれは彫らない fact7: その一括審議方式は暗号化しない fact8: あの法螺はジェットスキーでないならＯＬさんだ fact9: もし仮にあの法螺は頑是無くないが粗いならばそれはジェットスキーでない fact10: あるものが彫らないとすればそれは連続殺人犯でない fact11: そのデフレ経済は飛行機らしい
void -> assump1: 以下のように仮定する。あの法螺は頑是無い; fact4 & assump1 -> int1: 「そのデフレ経済は暗号化しないけれど飛行機らしい」ということは偽だ; fact11 & fact5 -> int2: そのデフレ経済は暗号化しない一方で飛行機らしい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの法螺は頑是無くない; int4 & fact1 -> int5: あの法螺は頑是無いということはないが粗い; int5 & fact9 -> int6: あの法螺はジェットスキーでない; int6 & fact8 -> hypothesis;
そのデフレ経済は粗い
fact14 -> int7: もし仮にあの法螺が彫らないとすると連続殺人犯でない;
$facts$ = fact1: あの法螺は粗い fact2: もし「ジェットスキーである」ものがあるとするとそのデフレ経済は粗いし頑是無い fact3: 仮にあの法螺は連続殺人犯であるということはないとするとジェットスキーであるしかつＯＬさんである fact4: あの法螺は頑是無いとしたら「そのデフレ経済は暗号化するということはないがしかしそれは飛行機らしい」ということは間違いだ fact5: そのデフレ経済は暗号化しない fact6: もし仮に「あの法螺は彫るし騒々しい」ということは事実と異なるとしたらそれは彫らない fact7: その一括審議方式は暗号化しない fact8: あの法螺はジェットスキーでないならＯＬさんだ fact9: もし仮にあの法螺は頑是無くないが粗いならばそれはジェットスキーでない fact10: あるものが彫らないとすればそれは連続殺人犯でない fact11: そのデフレ経済は飛行機らしい ; $hypothesis$ = 「あの法螺はＯＬさんである」ということは確かである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの法螺は頑是無い; fact4 & assump1 -> int1: 「そのデフレ経済は暗号化しないけれど飛行機らしい」ということは偽だ; fact11 & fact5 -> int2: そのデフレ経済は暗号化しない一方で飛行機らしい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの法螺は頑是無くない; int4 & fact1 -> int5: あの法螺は頑是無いということはないが粗い; int5 & fact9 -> int6: あの法螺はジェットスキーでない; int6 & fact8 -> hypothesis; __PROVED__
事実1: あの法螺は粗い
事実2: もし「ジェットスキーである」ものがあるとするとそのデフレ経済は粗いし頑是無い
事実3: 仮にあの法螺は連続殺人犯であるということはないとするとジェットスキーであるしかつＯＬさんである
事実4: あの法螺は頑是無いとしたら「そのデフレ経済は暗号化するということはないがしかしそれは飛行機らしい」ということは間違いだ
事実5: そのデフレ経済は暗号化しない
事実6: もし仮に「あの法螺は彫るし騒々しい」ということは事実と異なるとしたらそれは彫らない
事実7: その一括審議方式は暗号化しない
事実8: あの法螺はジェットスキーでないならＯＬさんだ
事実9: もし仮にあの法螺は頑是無くないが粗いならばそれはジェットスキーでない
事実10: あるものが彫らないとすればそれは連続殺人犯でない
事実11: そのデフレ経済は飛行機らしい

仮説: 「あの法螺はＯＬさんである」ということは確かである
1. 仮定1: 以下のように仮定する。あの法螺は頑是無い
2. 事実4と仮定1から、推論1: "「そのデフレ経済は暗号化しないけれど飛行機らしい」ということは偽だ"が導かれる
3. 事実11と事実5から、推論2: "そのデフレ経済は暗号化しない一方で飛行機らしい"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの法螺は頑是無くない"が導かれる
6. 推論4と事実1から、推論5: "あの法螺は頑是無いということはないが粗い"が導かれる
7. 推論5と事実9から、推論6: "あの法螺はジェットスキーでない"が導かれる
8. 推論6と事実8から、仮説が導かれる

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