「あの異質は肺機能検査である」ということは確かだ
fact1: もし「とあるものは届き難いけれど椎茸菌糸でない」ということは事実でないとしたら「それは挙式だ」ということは確かである fact2: もしもこの地公企み法が急度しないし左右され易くないとするとその主遣いは分配する fact3: もしもこの地公企み法が肺機能検査でないけれど分配すればあの異質は肺機能検査でない fact4: もし仮にその左横が余所余所しいとしたらあの支店長は挙式である fact5: 余所余所しいものは肺機能検査でないがしかし分配する fact6: すべての物は機能するしその上取り急ぐ fact7: その主遣いが分配するならその左横は余所余所しい fact8: もし仮にあの支店長が挙式ならあの異質は挙式でないかまたはそれは機能しないかもしくは両方ともだ fact9: 「「その主遣いは届き難い一方で椎茸菌糸でない」ということは嘘でない」ということは確かでない fact10: 「あの異質は挙式でないかあるいは機能しないか両方ともだ」ということは本当であるとすれば「それは肺機能検査だ」ということは真実だ fact11: この地公企み法は急度しないしまた左右され易くない
fact2 & fact11 -> int1: その主遣いは分配する; int1 & fact7 -> int2: その左横は余所余所しい; int2 & fact4 -> int3: あの支店長は挙式である; int3 & fact8 -> int4: あの異質は挙式だということはないかまたは機能しないかもしくはどちらもである; int4 & fact10 -> hypothesis;
あの異質は肺機能検査でない
fact13 -> int5: 仮にこの地公企み法が余所余所しいとすると肺機能検査でないけど分配する; fact16 -> int6: 仮に「その主遣いは届き難い一方で椎茸菌糸でない」ということは成り立たないなら「それは挙式だ」ということは真実だ; int6 & fact15 -> int7: その主遣いは挙式だ; fact12 -> int8: その主遣いは機能するしおまけに取り急ぐ; int8 -> int9: その主遣いは機能する; int7 & int9 -> int10: その主遣いが挙式だしさらにそれは機能する; int10 -> int11: 何らかの物は挙式であるしその上機能する;
$facts$ = fact1: もし「とあるものは届き難いけれど椎茸菌糸でない」ということは事実でないとしたら「それは挙式だ」ということは確かである fact2: もしもこの地公企み法が急度しないし左右され易くないとするとその主遣いは分配する fact3: もしもこの地公企み法が肺機能検査でないけれど分配すればあの異質は肺機能検査でない fact4: もし仮にその左横が余所余所しいとしたらあの支店長は挙式である fact5: 余所余所しいものは肺機能検査でないがしかし分配する fact6: すべての物は機能するしその上取り急ぐ fact7: その主遣いが分配するならその左横は余所余所しい fact8: もし仮にあの支店長が挙式ならあの異質は挙式でないかまたはそれは機能しないかもしくは両方ともだ fact9: 「「その主遣いは届き難い一方で椎茸菌糸でない」ということは嘘でない」ということは確かでない fact10: 「あの異質は挙式でないかあるいは機能しないか両方ともだ」ということは本当であるとすれば「それは肺機能検査だ」ということは真実だ fact11: この地公企み法は急度しないしまた左右され易くない ; $hypothesis$ = 「あの異質は肺機能検査である」ということは確かだ ; $proof$ = 
fact2 & fact11 -> int1: その主遣いは分配する; int1 & fact7 -> int2: その左横は余所余所しい; int2 & fact4 -> int3: あの支店長は挙式である; int3 & fact8 -> int4: あの異質は挙式だということはないかまたは機能しないかもしくはどちらもである; int4 & fact10 -> hypothesis; __PROVED__
事実1: もし「とあるものは届き難いけれど椎茸菌糸でない」ということは事実でないとしたら「それは挙式だ」ということは確かである
事実2: もしもこの地公企み法が急度しないし左右され易くないとするとその主遣いは分配する
事実3: もしもこの地公企み法が肺機能検査でないけれど分配すればあの異質は肺機能検査でない
事実4: もし仮にその左横が余所余所しいとしたらあの支店長は挙式である
事実5: 余所余所しいものは肺機能検査でないがしかし分配する
事実6: すべての物は機能するしその上取り急ぐ
事実7: その主遣いが分配するならその左横は余所余所しい
事実8: もし仮にあの支店長が挙式ならあの異質は挙式でないかまたはそれは機能しないかもしくは両方ともだ
事実9: 「「その主遣いは届き難い一方で椎茸菌糸でない」ということは嘘でない」ということは確かでない
事実10: 「あの異質は挙式でないかあるいは機能しないか両方ともだ」ということは本当であるとすれば「それは肺機能検査だ」ということは真実だ
事実11: この地公企み法は急度しないしまた左右され易くない

仮説: 「あの異質は肺機能検査である」ということは確かだ
1. 事実2と事実11から、推論1: "その主遣いは分配する"が導かれる
2. 推論1と事実7から、推論2: "その左横は余所余所しい"が導かれる
3. 推論2と事実4から、推論3: "あの支店長は挙式である"が導かれる
4. 推論3と事実8から、推論4: "あの異質は挙式だということはないかまたは機能しないかもしくはどちらもである"が導かれる
5. 推論4と事実10から、仮説が導かれる

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