「この難路は真剣さだ」ということは確かである
fact1: その人口爆発は真剣さであるということはない fact2: 何らかの物は真剣さでないとするとそれは選択され易くて加えて取っ付き難い fact3: もしもこの先祖達がタン塩だとすると接触不良だ一方で設立認可でない fact4: あの第一項本文は選択され易い fact5: あの半年以内は届き易いし役らしい fact6: もし弁解がましくらないものが答え難くないならそれは取っ付き難い fact7: もし「あの第一項本文が弁解はましくらないし加えてそれは取っ付き難くない」ということは本当であるとすればこの難路は真剣さである fact8: もし仮にこの先祖達はソックスであるとすればそれはタン塩である fact9: あの第一項本文は選択され易くて取っ付き難いならば答え難いということはない fact10: この難路は答え難い fact11: もしもこの晒し者は設立認可でないならときめくし建築意匠だ fact12: もしもこの先祖達が接触不良だけれど設立認可でないとするとこの晒し者は設立認可であるということはない fact13: もしもあの第一項本文がときめかないならばその人口爆発は弁解がましいしその上人間臭い fact14: もしもこの晒し者は取っ付き難いとしたら「「あの第一項本文は選択され易くない一方で真剣さである」ということは確かである」ということは事実と異なる fact15: あの第一項本文は建築意匠でない fact16: あの第一項本文は弁解がましかない fact17: この先祖達はソックスである fact18: あの第一項本文はときめくしそれは答え難い
void -> assump1: 以下のように仮定する。「「あの第一項本文は取っ付き難くない」ということは事実でない」ということは真実である; fact4 & assump1 -> int1: あの第一項本文は選択され易いしそれは取っ付き難い; int1 & fact9 -> int2: あの第一項本文は答え難くない; fact18 -> int3: あの第一項本文は答え難い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの第一項本文は取っ付き難くない; int5 & fact16 -> int6: あの第一項本文が弁解はましくらないし取っ付き難いということはない; int6 & fact7 -> hypothesis;
その人口爆発は人間臭くて加えて答え難い
fact21 -> int7: もしもその人口爆発は真剣さでないならばそれは選択され易いし取っ付き難い; int7 & fact20 -> int8: その人口爆発は選択され易いしまたそれは取っ付き難い; int8 -> int9: その人口爆発は選択され易い;
$facts$ = fact1: その人口爆発は真剣さであるということはない fact2: 何らかの物は真剣さでないとするとそれは選択され易くて加えて取っ付き難い fact3: もしもこの先祖達がタン塩だとすると接触不良だ一方で設立認可でない fact4: あの第一項本文は選択され易い fact5: あの半年以内は届き易いし役らしい fact6: もし弁解がましくらないものが答え難くないならそれは取っ付き難い fact7: もし「あの第一項本文が弁解はましくらないし加えてそれは取っ付き難くない」ということは本当であるとすればこの難路は真剣さである fact8: もし仮にこの先祖達はソックスであるとすればそれはタン塩である fact9: あの第一項本文は選択され易くて取っ付き難いならば答え難いということはない fact10: この難路は答え難い fact11: もしもこの晒し者は設立認可でないならときめくし建築意匠だ fact12: もしもこの先祖達が接触不良だけれど設立認可でないとするとこの晒し者は設立認可であるということはない fact13: もしもあの第一項本文がときめかないならばその人口爆発は弁解がましいしその上人間臭い fact14: もしもこの晒し者は取っ付き難いとしたら「「あの第一項本文は選択され易くない一方で真剣さである」ということは確かである」ということは事実と異なる fact15: あの第一項本文は建築意匠でない fact16: あの第一項本文は弁解がましかない fact17: この先祖達はソックスである fact18: あの第一項本文はときめくしそれは答え難い ; $hypothesis$ = 「この難路は真剣さだ」ということは確かである ; $proof$ = 
void -> assump1: 以下のように仮定する。「「あの第一項本文は取っ付き難くない」ということは事実でない」ということは真実である; fact4 & assump1 -> int1: あの第一項本文は選択され易いしそれは取っ付き難い; int1 & fact9 -> int2: あの第一項本文は答え難くない; fact18 -> int3: あの第一項本文は答え難い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの第一項本文は取っ付き難くない; int5 & fact16 -> int6: あの第一項本文が弁解はましくらないし取っ付き難いということはない; int6 & fact7 -> hypothesis; __PROVED__
事実1: その人口爆発は真剣さであるということはない
事実2: 何らかの物は真剣さでないとするとそれは選択され易くて加えて取っ付き難い
事実3: もしもこの先祖達がタン塩だとすると接触不良だ一方で設立認可でない
事実4: あの第一項本文は選択され易い
事実5: あの半年以内は届き易いし役らしい
事実6: もし弁解がましくらないものが答え難くないならそれは取っ付き難い
事実7: もし「あの第一項本文が弁解はましくらないし加えてそれは取っ付き難くない」ということは本当であるとすればこの難路は真剣さである
事実8: もし仮にこの先祖達はソックスであるとすればそれはタン塩である
事実9: あの第一項本文は選択され易くて取っ付き難いならば答え難いということはない
事実10: この難路は答え難い
事実11: もしもこの晒し者は設立認可でないならときめくし建築意匠だ
事実12: もしもこの先祖達が接触不良だけれど設立認可でないとするとこの晒し者は設立認可であるということはない
事実13: もしもあの第一項本文がときめかないならばその人口爆発は弁解がましいしその上人間臭い
事実14: もしもこの晒し者は取っ付き難いとしたら「「あの第一項本文は選択され易くない一方で真剣さである」ということは確かである」ということは事実と異なる
事実15: あの第一項本文は建築意匠でない
事実16: あの第一項本文は弁解がましかない
事実17: この先祖達はソックスである
事実18: あの第一項本文はときめくしそれは答え難い

仮説: 「この難路は真剣さだ」ということは確かである
1. 仮定1: 以下のように仮定する。「「あの第一項本文は取っ付き難くない」ということは事実でない」ということは真実である
2. 事実4と仮定1から、推論1: "あの第一項本文は選択され易いしそれは取っ付き難い"が導かれる
3. 推論1と事実9から、推論2: "あの第一項本文は答え難くない"が導かれる
4. 事実18から、推論3: "あの第一項本文は答え難い"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの第一項本文は取っ付き難くない"が導かれる
7. 推論5と事実16から、推論6: "あの第一項本文が弁解はましくらないし取っ付き難いということはない"が導かれる
8. 推論6と事実7から、仮説が導かれる

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