このサムシングは子供らしくない
fact1: 「なにかは損壊しないがプロらしい」ということは偽であるなら「それは損壊する」ということは確かである fact2: 仮に「「あの地域福祉計画は損壊するということはないかあるいはそれはプロらしいかまたはどちらもである」ということは成り立つ」ということは誤っているとしたらこのサムシングは子供らしくない fact3: もしも「あの地域福祉計画は煩い」ということは成り立つとすると「それは損壊するということはなくてしかもプロらしい」ということは誤っている fact4: 「ウォルナット・ストリート橋である」ものはある fact5: 何もかもは煩いし抱く fact6: もしもなにがしかのものはウォルナット・ストリート橋であるとすると「あの地域福祉計画は損壊しないかそれはプロらしいかあるいは両方である」ということは本当でない fact7: ある物はウォルナット・ストリート橋でないとすると寄る辺無い
fact4 & fact6 -> int1: 「あの地域福祉計画は損壊するということはないかプロらしいかまたはどちらもだ」ということは真実でない; int1 & fact2 -> hypothesis;
fact4 & fact6 -> int1: ¬(¬{B}{a} v {C}{a}); int1 & fact2 -> hypothesis;
このサムシングは子供らしい
fact10 -> int2: もし仮に「「あの地域福祉計画は損壊しないけれどそれはプロらしい」ということは間違いである」ということは確かであるとしたらそれは損壊する; fact8 -> int3: 「あの地域福祉計画は煩くてまた抱く」ということは事実である; int3 -> int4: あの地域福祉計画は煩い; fact9 & int4 -> int5: 「あの地域福祉計画は損壊しないけれどプロらしい」ということは事実と異なる; int2 & int5 -> int6: あの地域福祉計画は損壊する; int6 -> int7: 「損壊する」ものはある;
$facts$ = fact1: 「なにかは損壊しないがプロらしい」ということは偽であるなら「それは損壊する」ということは確かである fact2: 仮に「「あの地域福祉計画は損壊するということはないかあるいはそれはプロらしいかまたはどちらもである」ということは成り立つ」ということは誤っているとしたらこのサムシングは子供らしくない fact3: もしも「あの地域福祉計画は煩い」ということは成り立つとすると「それは損壊するということはなくてしかもプロらしい」ということは誤っている fact4: 「ウォルナット・ストリート橋である」ものはある fact5: 何もかもは煩いし抱く fact6: もしもなにがしかのものはウォルナット・ストリート橋であるとすると「あの地域福祉計画は損壊しないかそれはプロらしいかあるいは両方である」ということは本当でない fact7: ある物はウォルナット・ストリート橋でないとすると寄る辺無い ; $hypothesis$ = このサムシングは子供らしくない ; $proof$ = 
fact4 & fact6 -> int1: 「あの地域福祉計画は損壊するということはないかプロらしいかまたはどちらもだ」ということは真実でない; int1 & fact2 -> hypothesis; __PROVED__
事実1: 「なにかは損壊しないがプロらしい」ということは偽であるなら「それは損壊する」ということは確かである
事実2: 仮に「「あの地域福祉計画は損壊するということはないかあるいはそれはプロらしいかまたはどちらもである」ということは成り立つ」ということは誤っているとしたらこのサムシングは子供らしくない
事実3: もしも「あの地域福祉計画は煩い」ということは成り立つとすると「それは損壊するということはなくてしかもプロらしい」ということは誤っている
事実4: 「ウォルナット・ストリート橋である」ものはある
事実5: 何もかもは煩いし抱く
事実6: もしもなにがしかのものはウォルナット・ストリート橋であるとすると「あの地域福祉計画は損壊しないかそれはプロらしいかあるいは両方である」ということは本当でない
事実7: ある物はウォルナット・ストリート橋でないとすると寄る辺無い

仮説: このサムシングは子供らしくない
1. 事実4と事実6から、推論1: "「あの地域福祉計画は損壊するということはないかプロらしいかまたはどちらもだ」ということは真実でない"が導かれる
2. 推論1と事実2から、仮説が導かれる

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