この零歳児は地元農家だ
fact1: もし「「翻刻しないしかつ横切るということはない」ということは事実と異なる」ものがあるならあの支流は酸くない fact2: もしもこのニックネームは一戸建てならば「その缶キャタピラは事業年度終了でないかもしくはそれは真っ白いか両方ともだ」ということは確かである fact3: 仮に「「興起するということはなくて真っ白くない」ということは成り立たない」物はあるとしたら「その缶キャタピラは酸くない」ということは正しい fact4: もしあの支流が酸くないかもしくは興起するかあるいは両方であるとしたらこの零歳児は地元農家だ fact5: 「「翻刻しないし加えて横切る」ということは嘘である」ものはある fact6: 何もかもは真っ白い fact7: 「このニックネームは翻刻する一方で横切らない」ということは成り立たない fact8: このニックネームは真っ白い fact9: もしも「「翻刻する」ものはある」ということは成り立つならあの支流は酸くない fact10: 「「翻刻するが横切らない」ということは正しいということはない」ものはある fact11: もしこのニックネームが一戸建てであるならその缶キャタピラは事業年度終了でないかまたはそれは真っ白くないかまたは両方ともである fact12: 事業年度終了でないか真っ白くないかあるいは両方だという物はない fact13: あの支流は酸いか興起するかあるいは両方である fact14: もし仮になにがしかの物は一戸建てでないとすると「翻刻しなくてその上横切るということはない」ということは嘘だ fact15: 仮になんらかの物は翻刻しないかまたは一戸建てでないかあるいは両方ともであるとすれば「地元農家でない」ということは本当である fact16: 「何らかの物は翻刻しなくて更にそれは横切るということはない」ということは確かである fact17: もし仮に「「翻刻するし酸い」ということは誤りである」ものがあればその缶キャタピラは酸くない fact18: 仮になにかは一戸建てだということはないなら「翻刻する一方で横切らない」ということは間違いである fact19: その缶キャタピラは事業年度終了でないかあるいは真っ白いかあるいは両方だ fact20: その缶キャタピラは真っ白い fact21: このニックネームは一戸建てでないとすると「翻刻するし横切らない」ということは成り立たない
void -> assump1: 以下のように仮定する。このニックネームは一戸建てである; fact11 & assump1 -> int1: その缶キャタピラは事業年度終了でないかまたは真っ白くないかまたは両方だ; fact12 -> int2: 「「その缶キャタピラは事業年度終了でないかそれは真っ白くない」ということは成り立たない」ということは事実である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このニックネームは一戸建てでない; fact14 -> int5: 仮にこのニックネームは一戸建てでないとすれば「翻刻しないしその上それは横切らない」ということは誤りだ; int4 & int5 -> int6: 「このニックネームは翻刻しなくてそれは横切るということはない」ということは偽である; int6 -> int7: 「「翻刻しないしさらに横切らない」ということは成り立たない」ものはある; int7 & fact1 -> int8: あの支流は酸くない; int8 -> int9: あの支流は酸いということはないかそれは興起するかまたは両方である; int9 & fact4 -> hypothesis;
その缶キャタピラは酸くない
$facts$ = fact1: もし「「翻刻しないしかつ横切るということはない」ということは事実と異なる」ものがあるならあの支流は酸くない fact2: もしもこのニックネームは一戸建てならば「その缶キャタピラは事業年度終了でないかもしくはそれは真っ白いか両方ともだ」ということは確かである fact3: 仮に「「興起するということはなくて真っ白くない」ということは成り立たない」物はあるとしたら「その缶キャタピラは酸くない」ということは正しい fact4: もしあの支流が酸くないかもしくは興起するかあるいは両方であるとしたらこの零歳児は地元農家だ fact5: 「「翻刻しないし加えて横切る」ということは嘘である」ものはある fact6: 何もかもは真っ白い fact7: 「このニックネームは翻刻する一方で横切らない」ということは成り立たない fact8: このニックネームは真っ白い fact9: もしも「「翻刻する」ものはある」ということは成り立つならあの支流は酸くない fact10: 「「翻刻するが横切らない」ということは正しいということはない」ものはある fact11: もしこのニックネームが一戸建てであるならその缶キャタピラは事業年度終了でないかまたはそれは真っ白くないかまたは両方ともである fact12: 事業年度終了でないか真っ白くないかあるいは両方だという物はない fact13: あの支流は酸いか興起するかあるいは両方である fact14: もし仮になにがしかの物は一戸建てでないとすると「翻刻しなくてその上横切るということはない」ということは嘘だ fact15: 仮になんらかの物は翻刻しないかまたは一戸建てでないかあるいは両方ともであるとすれば「地元農家でない」ということは本当である fact16: 「何らかの物は翻刻しなくて更にそれは横切るということはない」ということは確かである fact17: もし仮に「「翻刻するし酸い」ということは誤りである」ものがあればその缶キャタピラは酸くない fact18: 仮になにかは一戸建てだということはないなら「翻刻する一方で横切らない」ということは間違いである fact19: その缶キャタピラは事業年度終了でないかあるいは真っ白いかあるいは両方だ fact20: その缶キャタピラは真っ白い fact21: このニックネームは一戸建てでないとすると「翻刻するし横切らない」ということは成り立たない ; $hypothesis$ = この零歳児は地元農家だ ; $proof$ = 
void -> assump1: 以下のように仮定する。このニックネームは一戸建てである; fact11 & assump1 -> int1: その缶キャタピラは事業年度終了でないかまたは真っ白くないかまたは両方だ; fact12 -> int2: 「「その缶キャタピラは事業年度終了でないかそれは真っ白くない」ということは成り立たない」ということは事実である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このニックネームは一戸建てでない; fact14 -> int5: 仮にこのニックネームは一戸建てでないとすれば「翻刻しないしその上それは横切らない」ということは誤りだ; int4 & int5 -> int6: 「このニックネームは翻刻しなくてそれは横切るということはない」ということは偽である; int6 -> int7: 「「翻刻しないしさらに横切らない」ということは成り立たない」ものはある; int7 & fact1 -> int8: あの支流は酸くない; int8 -> int9: あの支流は酸いということはないかそれは興起するかまたは両方である; int9 & fact4 -> hypothesis; __PROVED__
事実1: もし「「翻刻しないしかつ横切るということはない」ということは事実と異なる」ものがあるならあの支流は酸くない
事実2: もしもこのニックネームは一戸建てならば「その缶キャタピラは事業年度終了でないかもしくはそれは真っ白いか両方ともだ」ということは確かである
事実3: 仮に「「興起するということはなくて真っ白くない」ということは成り立たない」物はあるとしたら「その缶キャタピラは酸くない」ということは正しい
事実4: もしあの支流が酸くないかもしくは興起するかあるいは両方であるとしたらこの零歳児は地元農家だ
事実5: 「「翻刻しないし加えて横切る」ということは嘘である」ものはある
事実6: 何もかもは真っ白い
事実7: 「このニックネームは翻刻する一方で横切らない」ということは成り立たない
事実8: このニックネームは真っ白い
事実9: もしも「「翻刻する」ものはある」ということは成り立つならあの支流は酸くない
事実10: 「「翻刻するが横切らない」ということは正しいということはない」ものはある
事実11: もしこのニックネームが一戸建てであるならその缶キャタピラは事業年度終了でないかまたはそれは真っ白くないかまたは両方ともである
事実12: 事業年度終了でないか真っ白くないかあるいは両方だという物はない
事実13: あの支流は酸いか興起するかあるいは両方である
事実14: もし仮になにがしかの物は一戸建てでないとすると「翻刻しなくてその上横切るということはない」ということは嘘だ
事実15: 仮になんらかの物は翻刻しないかまたは一戸建てでないかあるいは両方ともであるとすれば「地元農家でない」ということは本当である
事実16: 「何らかの物は翻刻しなくて更にそれは横切るということはない」ということは確かである
事実17: もし仮に「「翻刻するし酸い」ということは誤りである」ものがあればその缶キャタピラは酸くない
事実18: 仮になにかは一戸建てだということはないなら「翻刻する一方で横切らない」ということは間違いである
事実19: その缶キャタピラは事業年度終了でないかあるいは真っ白いかあるいは両方だ
事実20: その缶キャタピラは真っ白い
事実21: このニックネームは一戸建てでないとすると「翻刻するし横切らない」ということは成り立たない

仮説: この零歳児は地元農家だ
1. 仮定1: 以下のように仮定する。このニックネームは一戸建てである
2. 事実11と仮定1から、推論1: "その缶キャタピラは事業年度終了でないかまたは真っ白くないかまたは両方だ"が導かれる
3. 事実12から、推論2: "「「その缶キャタピラは事業年度終了でないかそれは真っ白くない」ということは成り立たない」ということは事実である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "このニックネームは一戸建てでない"が導かれる
6. 事実14から、推論5: "仮にこのニックネームは一戸建てでないとすれば「翻刻しないしその上それは横切らない」ということは誤りだ"が導かれる
7. 推論4と推論5から、推論6: "「このニックネームは翻刻しなくてそれは横切るということはない」ということは偽である"が導かれる
8. 推論6から、推論7: "「「翻刻しないしさらに横切らない」ということは成り立たない」ものはある"が導かれる
9. 推論7と事実1から、推論8: "あの支流は酸くない"が導かれる
10. 推論8から、推論9: "あの支流は酸いということはないかそれは興起するかまたは両方である"が導かれる
11. 推論9と事実4から、仮説が導かれる

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