あの聖体拝受は吸収され難いということはない
fact1: もし仮にあの娼婦はドリフトチューブだとすれば「あの遊行は打ち難い」ということは確かである fact2: その超高齢社会は私的諮問機関であるかひょろ長いということはないかまたは両方ともである fact3: あの娼婦が打ち難くないならそれはリテラチュアでない fact4: あの聖体拝受は保存・反映する fact5: もしもあの聖体拝受は保存・反映しないか私的諮問機関でないかあるいはどちらもであるとするとそれは吸収され難くない fact6: あの遊行は打ち難いということはない fact7: もし仮に「なにかは保存・反映しないかあるいは私的諮問機関でないか両方ともだ」ということは確かでないならば「それは言語知識だ」ということは成り立つ fact8: もし仮に「ある物は言語知識でなくてその上それは発展するということはない」ということは事実と異なるとすると「それは吸収され難い」ということは本当だ fact9: 「あの聖体拝受は言語知識でないかもしくは発展しない」ということは嘘だとしたら吸収され難い fact10: 仮にあの聖体拝受が言語知識だとしたらあの娼婦は発展する fact11: あの娼婦が発展するとするとドリフトチューブだ
fact7 -> int1: もしも「あの聖体拝受は保存・反映しないか私的諮問機関でない」ということは誤りだとしたらそれは言語知識だ; void -> assump1: 以下のように仮定する。「あの聖体拝受は保存・反映しないかもしくは私的諮問機関でないかもしくはどちらもである」ということは成り立つということはない; int1 & assump1 -> int2: あの聖体拝受は言語知識だ; int2 & fact10 -> int3: あの娼婦は発展する; int3 & fact11 -> int4: あの娼婦はドリフトチューブである; int4 & fact1 -> int5: あの遊行は打ち難い; int5 & fact6 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの聖体拝受は保存・反映しないかもしくは私的諮問機関だということはないかあるいは両方だ; int7 & fact5 -> hypothesis;
あの聖体拝受は吸収され難い
fact12 -> int8: もし「あの聖体拝受は言語知識だということはなくて発展しない」ということは事実と異なるならそれは吸収され難い;
$facts$ = fact1: もし仮にあの娼婦はドリフトチューブだとすれば「あの遊行は打ち難い」ということは確かである fact2: その超高齢社会は私的諮問機関であるかひょろ長いということはないかまたは両方ともである fact3: あの娼婦が打ち難くないならそれはリテラチュアでない fact4: あの聖体拝受は保存・反映する fact5: もしもあの聖体拝受は保存・反映しないか私的諮問機関でないかあるいはどちらもであるとするとそれは吸収され難くない fact6: あの遊行は打ち難いということはない fact7: もし仮に「なにかは保存・反映しないかあるいは私的諮問機関でないか両方ともだ」ということは確かでないならば「それは言語知識だ」ということは成り立つ fact8: もし仮に「ある物は言語知識でなくてその上それは発展するということはない」ということは事実と異なるとすると「それは吸収され難い」ということは本当だ fact9: 「あの聖体拝受は言語知識でないかもしくは発展しない」ということは嘘だとしたら吸収され難い fact10: 仮にあの聖体拝受が言語知識だとしたらあの娼婦は発展する fact11: あの娼婦が発展するとするとドリフトチューブだ ; $hypothesis$ = あの聖体拝受は吸収され難いということはない ; $proof$ = 
fact7 -> int1: もしも「あの聖体拝受は保存・反映しないか私的諮問機関でない」ということは誤りだとしたらそれは言語知識だ; void -> assump1: 以下のように仮定する。「あの聖体拝受は保存・反映しないかもしくは私的諮問機関でないかもしくはどちらもである」ということは成り立つということはない; int1 & assump1 -> int2: あの聖体拝受は言語知識だ; int2 & fact10 -> int3: あの娼婦は発展する; int3 & fact11 -> int4: あの娼婦はドリフトチューブである; int4 & fact1 -> int5: あの遊行は打ち難い; int5 & fact6 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの聖体拝受は保存・反映しないかもしくは私的諮問機関だということはないかあるいは両方だ; int7 & fact5 -> hypothesis; __PROVED__
事実1: もし仮にあの娼婦はドリフトチューブだとすれば「あの遊行は打ち難い」ということは確かである
事実2: その超高齢社会は私的諮問機関であるかひょろ長いということはないかまたは両方ともである
事実3: あの娼婦が打ち難くないならそれはリテラチュアでない
事実4: あの聖体拝受は保存・反映する
事実5: もしもあの聖体拝受は保存・反映しないか私的諮問機関でないかあるいはどちらもであるとするとそれは吸収され難くない
事実6: あの遊行は打ち難いということはない
事実7: もし仮に「なにかは保存・反映しないかあるいは私的諮問機関でないか両方ともだ」ということは確かでないならば「それは言語知識だ」ということは成り立つ
事実8: もし仮に「ある物は言語知識でなくてその上それは発展するということはない」ということは事実と異なるとすると「それは吸収され難い」ということは本当だ
事実9: 「あの聖体拝受は言語知識でないかもしくは発展しない」ということは嘘だとしたら吸収され難い
事実10: 仮にあの聖体拝受が言語知識だとしたらあの娼婦は発展する
事実11: あの娼婦が発展するとするとドリフトチューブだ

仮説: あの聖体拝受は吸収され難いということはない
1. 事実7から、推論1: "もしも「あの聖体拝受は保存・反映しないか私的諮問機関でない」ということは誤りだとしたらそれは言語知識だ"が導かれる
2. 仮定1: 以下のように仮定する。「あの聖体拝受は保存・反映しないかもしくは私的諮問機関でないかもしくはどちらもである」ということは成り立つということはない
3. 推論1と仮定1から、推論2: "あの聖体拝受は言語知識だ"が導かれる
4. 推論2と事実10から、推論3: "あの娼婦は発展する"が導かれる
5. 推論3と事実11から、推論4: "あの娼婦はドリフトチューブである"が導かれる
6. 推論4と事実1から、推論5: "あの遊行は打ち難い"が導かれる
7. 推論5と事実6から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの聖体拝受は保存・反映しないかもしくは私的諮問機関だということはないかあるいは両方だ"が導かれる
9. 推論7と事実5から、仮説が導かれる

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