「もしも幼いとしたら栗色でない」ものはある
fact1: もしも「何らかのものは見下ろさないけれどそれは埋葬する」ということは偽であるならばそれは競技種目であるということはない fact2: 「払い出す」ものはあるとすると「その質問紙調査は見下ろさないがしかし埋葬する」ということは正しくない fact3: 「その質問紙調査は見下ろすし埋葬する」ということは間違いである fact4: 取り易いしその上幼い物は栗色でない fact5: 仮にその質問紙調査は取り易くて幼いとしたら栗色だ fact6: もし仮に「払い出す」物はあるとしたら「「その質問紙調査は見下ろすしその上埋葬する」ということは成り立つ」ということは成り立たない fact7: 仮に取り易い物が幼いとしたらそれは栗色だ fact8: その質問紙調査が幼いならば栗色である fact9: もしも何かは払い出さないならばそれは壁内でない fact10: 仮に「何らかの物は見下ろさないがしかし払い出す」ということは事実と異なるなら「それは払い出さない」ということは確かである fact11: 「もし幼いとすると栗色な」ものはある fact12: 仮にとあるものが見下ろすとすると競技種目であるということはない fact13: 「払い出す」ものはある fact14: もしもとあるものは競技種目でないなら「取り易い」ということは真実である fact15: その質問紙調査は栗色だ
fact13 & fact2 -> int1: 「「その質問紙調査は見下ろすということはないけれど埋葬する」ということは事実だ」ということは誤っている; fact1 -> int2: 仮に「その質問紙調査は見下ろさないけれど埋葬する」ということは成り立たないならそれは競技種目だということはない; int1 & int2 -> int3: その質問紙調査は競技種目であるということはない; fact14 -> int4: もし仮に「その質問紙調査は競技種目でない」ということは真実であるならそれは取り易い; int3 & int4 -> int5: その質問紙調査は取り易い; void -> assump1: 以下のように仮定する。その質問紙調査は幼い; int5 & assump1 -> int6: その質問紙調査は取り易くて幼い; fact4 -> int7: もし仮にその質問紙調査は取り易くてかつ幼いなら栗色でない; int6 & int7 -> int8: その質問紙調査は栗色でない; [assump1] & int8 -> int9: もし仮にその質問紙調査が幼いならば栗色であるということはない; int9 -> hypothesis;
その質問紙調査は壁内でない
fact17 -> int10: もし仮にその質問紙調査が払い出さないとすると壁内でない; fact16 -> int11: もし仮に「その質問紙調査は見下ろさないがしかし払い出す」ということは嘘だとすると払い出さない;
$facts$ = fact1: もしも「何らかのものは見下ろさないけれどそれは埋葬する」ということは偽であるならばそれは競技種目であるということはない fact2: 「払い出す」ものはあるとすると「その質問紙調査は見下ろさないがしかし埋葬する」ということは正しくない fact3: 「その質問紙調査は見下ろすし埋葬する」ということは間違いである fact4: 取り易いしその上幼い物は栗色でない fact5: 仮にその質問紙調査は取り易くて幼いとしたら栗色だ fact6: もし仮に「払い出す」物はあるとしたら「「その質問紙調査は見下ろすしその上埋葬する」ということは成り立つ」ということは成り立たない fact7: 仮に取り易い物が幼いとしたらそれは栗色だ fact8: その質問紙調査が幼いならば栗色である fact9: もしも何かは払い出さないならばそれは壁内でない fact10: 仮に「何らかの物は見下ろさないがしかし払い出す」ということは事実と異なるなら「それは払い出さない」ということは確かである fact11: 「もし幼いとすると栗色な」ものはある fact12: 仮にとあるものが見下ろすとすると競技種目であるということはない fact13: 「払い出す」ものはある fact14: もしもとあるものは競技種目でないなら「取り易い」ということは真実である fact15: その質問紙調査は栗色だ ; $hypothesis$ = 「もしも幼いとしたら栗色でない」ものはある ; $proof$ = 
fact13 & fact2 -> int1: 「「その質問紙調査は見下ろすということはないけれど埋葬する」ということは事実だ」ということは誤っている; fact1 -> int2: 仮に「その質問紙調査は見下ろさないけれど埋葬する」ということは成り立たないならそれは競技種目だということはない; int1 & int2 -> int3: その質問紙調査は競技種目であるということはない; fact14 -> int4: もし仮に「その質問紙調査は競技種目でない」ということは真実であるならそれは取り易い; int3 & int4 -> int5: その質問紙調査は取り易い; void -> assump1: 以下のように仮定する。その質問紙調査は幼い; int5 & assump1 -> int6: その質問紙調査は取り易くて幼い; fact4 -> int7: もし仮にその質問紙調査は取り易くてかつ幼いなら栗色でない; int6 & int7 -> int8: その質問紙調査は栗色でない; [assump1] & int8 -> int9: もし仮にその質問紙調査が幼いならば栗色であるということはない; int9 -> hypothesis; __PROVED__
事実1: もしも「何らかのものは見下ろさないけれどそれは埋葬する」ということは偽であるならばそれは競技種目であるということはない
事実2: 「払い出す」ものはあるとすると「その質問紙調査は見下ろさないがしかし埋葬する」ということは正しくない
事実3: 「その質問紙調査は見下ろすし埋葬する」ということは間違いである
事実4: 取り易いしその上幼い物は栗色でない
事実5: 仮にその質問紙調査は取り易くて幼いとしたら栗色だ
事実6: もし仮に「払い出す」物はあるとしたら「「その質問紙調査は見下ろすしその上埋葬する」ということは成り立つ」ということは成り立たない
事実7: 仮に取り易い物が幼いとしたらそれは栗色だ
事実8: その質問紙調査が幼いならば栗色である
事実9: もしも何かは払い出さないならばそれは壁内でない
事実10: 仮に「何らかの物は見下ろさないがしかし払い出す」ということは事実と異なるなら「それは払い出さない」ということは確かである
事実11: 「もし幼いとすると栗色な」ものはある
事実12: 仮にとあるものが見下ろすとすると競技種目であるということはない
事実13: 「払い出す」ものはある
事実14: もしもとあるものは競技種目でないなら「取り易い」ということは真実である
事実15: その質問紙調査は栗色だ

仮説: 「もしも幼いとしたら栗色でない」ものはある
1. 事実13と事実2から、推論1: "「「その質問紙調査は見下ろすということはないけれど埋葬する」ということは事実だ」ということは誤っている"が導かれる
2. 事実1から、推論2: "仮に「その質問紙調査は見下ろさないけれど埋葬する」ということは成り立たないならそれは競技種目だということはない"が導かれる
3. 推論1と推論2から、推論3: "その質問紙調査は競技種目であるということはない"が導かれる
4. 事実14から、推論4: "もし仮に「その質問紙調査は競技種目でない」ということは真実であるならそれは取り易い"が導かれる
5. 推論3と推論4から、推論5: "その質問紙調査は取り易い"が導かれる
6. 仮定1: 以下のように仮定する。その質問紙調査は幼い
7. 推論5と仮定1から、推論6: "その質問紙調査は取り易くて幼い"が導かれる
8. 事実4から、推論7: "もし仮にその質問紙調査は取り易くてかつ幼いなら栗色でない"が導かれる
9. 推論6と推論7から、推論8: "その質問紙調査は栗色でない"が導かれる
10. [仮定1]と推論8から、推論9: "もし仮にその質問紙調査が幼いならば栗色であるということはない"が導かれる
11. 推論9から、仮説が導かれる

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