あの諸悪は意識化出来る
fact1: その感じ方はゴングである fact2: その洞窟は丘陵地でないか面するかまたは両方だ fact3: もしもチューリップが保水だということはないならそれは意識化出来ない fact4: なんらかの物は欲情するしそれはゴングだ fact5: その同類志向は欲情しない fact6: 「もし仮にこのデータバンクが保水ならその同類志向は欲情するということはないけどそれはゴングである」ということは確かだ fact7: もしも「その洞窟は面する」ということは真実だとしたらこのデータバンクはチューリップである fact8: もし仮になにがしかの物はチューリップであるならばそれは保水である fact9: 「あの連番が久しないならあの諸悪は意識化出来る」ということは真実だ fact10: もしも「ゴングでなくて更に保水な」物があるならその同類志向は面しない fact11: もし仮にその洞窟が面しないかまたは欲情するか両方ならその同類志向は久し fact12: もしもその洞窟が丘陵地でないか面するかもしくはどちらもならばこのデータバンクはチューリップである fact13: 「なにかは久しないが意識化出来る」ということは成り立つ fact14: もし「このデータバンクはゴングだがしかし久しない」ということは事実と異なるとしたらその洞窟は欲情しない fact15: もしも「欲情しないがしかしゴングな」ものがあるとしたらあの連番は久しない fact16: その洞窟が欲情するということはないならばあの諸悪はチューリップである一方でそれは保水でない
fact12 & fact2 -> int1: このデータバンクはチューリップだ; fact8 -> int2: もしこのデータバンクはチューリップであるならば保水だ; int1 & int2 -> int3: このデータバンクは保水だ; int3 & fact6 -> int4: その同類志向は欲情しないけれどそれはゴングだ; int4 -> int5: 「「欲情しないけどゴングである」ということは事実な」ものはある; int5 & fact15 -> int6: あの連番は久しない; int6 & fact9 -> hypothesis;
あの諸悪は意識化出来ない
fact19 -> int7: 「もし仮にあの諸悪がチューリップだけれど保水でないならばあの諸悪は意識化出来ない」ということは正しい;
$facts$ = fact1: その感じ方はゴングである fact2: その洞窟は丘陵地でないか面するかまたは両方だ fact3: もしもチューリップが保水だということはないならそれは意識化出来ない fact4: なんらかの物は欲情するしそれはゴングだ fact5: その同類志向は欲情しない fact6: 「もし仮にこのデータバンクが保水ならその同類志向は欲情するということはないけどそれはゴングである」ということは確かだ fact7: もしも「その洞窟は面する」ということは真実だとしたらこのデータバンクはチューリップである fact8: もし仮になにがしかの物はチューリップであるならばそれは保水である fact9: 「あの連番が久しないならあの諸悪は意識化出来る」ということは真実だ fact10: もしも「ゴングでなくて更に保水な」物があるならその同類志向は面しない fact11: もし仮にその洞窟が面しないかまたは欲情するか両方ならその同類志向は久し fact12: もしもその洞窟が丘陵地でないか面するかもしくはどちらもならばこのデータバンクはチューリップである fact13: 「なにかは久しないが意識化出来る」ということは成り立つ fact14: もし「このデータバンクはゴングだがしかし久しない」ということは事実と異なるとしたらその洞窟は欲情しない fact15: もしも「欲情しないがしかしゴングな」ものがあるとしたらあの連番は久しない fact16: その洞窟が欲情するということはないならばあの諸悪はチューリップである一方でそれは保水でない ; $hypothesis$ = あの諸悪は意識化出来る ; $proof$ = 
fact12 & fact2 -> int1: このデータバンクはチューリップだ; fact8 -> int2: もしこのデータバンクはチューリップであるならば保水だ; int1 & int2 -> int3: このデータバンクは保水だ; int3 & fact6 -> int4: その同類志向は欲情しないけれどそれはゴングだ; int4 -> int5: 「「欲情しないけどゴングである」ということは事実な」ものはある; int5 & fact15 -> int6: あの連番は久しない; int6 & fact9 -> hypothesis; __PROVED__
事実1: その感じ方はゴングである
事実2: その洞窟は丘陵地でないか面するかまたは両方だ
事実3: もしもチューリップが保水だということはないならそれは意識化出来ない
事実4: なんらかの物は欲情するしそれはゴングだ
事実5: その同類志向は欲情しない
事実6: 「もし仮にこのデータバンクが保水ならその同類志向は欲情するということはないけどそれはゴングである」ということは確かだ
事実7: もしも「その洞窟は面する」ということは真実だとしたらこのデータバンクはチューリップである
事実8: もし仮になにがしかの物はチューリップであるならばそれは保水である
事実9: 「あの連番が久しないならあの諸悪は意識化出来る」ということは真実だ
事実10: もしも「ゴングでなくて更に保水な」物があるならその同類志向は面しない
事実11: もし仮にその洞窟が面しないかまたは欲情するか両方ならその同類志向は久し
事実12: もしもその洞窟が丘陵地でないか面するかもしくはどちらもならばこのデータバンクはチューリップである
事実13: 「なにかは久しないが意識化出来る」ということは成り立つ
事実14: もし「このデータバンクはゴングだがしかし久しない」ということは事実と異なるとしたらその洞窟は欲情しない
事実15: もしも「欲情しないがしかしゴングな」ものがあるとしたらあの連番は久しない
事実16: その洞窟が欲情するということはないならばあの諸悪はチューリップである一方でそれは保水でない

仮説: あの諸悪は意識化出来る
1. 事実12と事実2から、推論1: "このデータバンクはチューリップだ"が導かれる
2. 事実8から、推論2: "もしこのデータバンクはチューリップであるならば保水だ"が導かれる
3. 推論1と推論2から、推論3: "このデータバンクは保水だ"が導かれる
4. 推論3と事実6から、推論4: "その同類志向は欲情しないけれどそれはゴングだ"が導かれる
5. 推論4から、推論5: "「「欲情しないけどゴングである」ということは事実な」ものはある"が導かれる
6. 推論5と事実15から、推論6: "あの連番は久しない"が導かれる
7. 推論6と事実9から、仮説が導かれる

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