「この所得分配は文化・情報である」ということは真実だ
fact1: 仮に何かはデビルズ・レイディオであるとしたら「北辺でなくてまたそれは断定し難い」ということは事実と異なる fact2: 仮に何かは良書であるとすれば「文化・情報であるしそれにそれはテラスハウスでない」ということは事実と異なる fact3: この所得分配はみみっちい fact4: 「その売却価額は御悪いがしかしそれはテラスハウスでない」ということは確かでないとしたらあの対抗連合は北辺だ fact5: 仮にある物は御悪いとすれば「「良書であるけど北辺でない」ということは事実である」ということは間違っている fact6: 仮にあの米軍政庁が文化・情報であるとすれば北辺であるしまた良書でない fact7: この所得分配は御悪い fact8: もしもその売却価額は名乗り続けるなら「デビルズ・レイディオだ」ということは確かだ fact9: ある物は北辺なら「良書だ一方でテラスハウスでない」ということは成り立つということはない fact10: もしもとあるものは良書であるとしたら「テラスハウスであるけど文化・情報でない」ということは事実と異なる fact11: 「この第一ステップは北辺だ」ということは嘘でない fact12: この三次元分布が名乗り続けるとしたらその売却価額は名乗り続ける fact13: 仮にある物は良書でないなら「それは御悪くないがしかしテラスハウスである」ということは成り立たない fact14: 「その売却価額が文化・情報だけどそれは北辺でない」ということは正しくない fact15: この三次元分布は名乗り続けるかあるいはそれは沿うかあるいは両方である fact16: 「あの対抗連合は浅ましいが制約しない」ということは成り立つということはない fact17: 仮に「その売却価額は良書だが北辺でない」ということは成り立つということはないとすればこの所得分配は文化・情報である fact18: 「「この所得分配は四団体だが北辺でない」ということは成り立つ」ということは嘘である fact19: もしあの対抗連合がテラスハウスだとすればその売却価額は御悪い fact20: 「あの対抗連合は御悪い」ということは確かであるとすると「テラスハウスだしそれは北辺でない」ということは成り立たない fact21: なんらかのものは御悪いならば「それは文化・情報だがしかし北辺でない」ということは成り立たない fact22: あの対抗連合はテラスハウスである fact23: 仮にその売却価額が良書であるということはないならこの所得分配は文化・情報である fact24: この所得分配は北辺である
fact19 & fact22 -> int1: その売却価額は御悪い; fact5 -> int2: その売却価額は御悪いとすると「それは良書でそれは北辺でない」ということは偽だ; int1 & int2 -> int3: 「その売却価額は良書だけれど北辺でない」ということは間違っている; int3 & fact17 -> hypothesis;
あの米軍政庁は御悪い
$facts$ = fact1: 仮に何かはデビルズ・レイディオであるとしたら「北辺でなくてまたそれは断定し難い」ということは事実と異なる fact2: 仮に何かは良書であるとすれば「文化・情報であるしそれにそれはテラスハウスでない」ということは事実と異なる fact3: この所得分配はみみっちい fact4: 「その売却価額は御悪いがしかしそれはテラスハウスでない」ということは確かでないとしたらあの対抗連合は北辺だ fact5: 仮にある物は御悪いとすれば「「良書であるけど北辺でない」ということは事実である」ということは間違っている fact6: 仮にあの米軍政庁が文化・情報であるとすれば北辺であるしまた良書でない fact7: この所得分配は御悪い fact8: もしもその売却価額は名乗り続けるなら「デビルズ・レイディオだ」ということは確かだ fact9: ある物は北辺なら「良書だ一方でテラスハウスでない」ということは成り立つということはない fact10: もしもとあるものは良書であるとしたら「テラスハウスであるけど文化・情報でない」ということは事実と異なる fact11: 「この第一ステップは北辺だ」ということは嘘でない fact12: この三次元分布が名乗り続けるとしたらその売却価額は名乗り続ける fact13: 仮にある物は良書でないなら「それは御悪くないがしかしテラスハウスである」ということは成り立たない fact14: 「その売却価額が文化・情報だけどそれは北辺でない」ということは正しくない fact15: この三次元分布は名乗り続けるかあるいはそれは沿うかあるいは両方である fact16: 「あの対抗連合は浅ましいが制約しない」ということは成り立つということはない fact17: 仮に「その売却価額は良書だが北辺でない」ということは成り立つということはないとすればこの所得分配は文化・情報である fact18: 「「この所得分配は四団体だが北辺でない」ということは成り立つ」ということは嘘である fact19: もしあの対抗連合がテラスハウスだとすればその売却価額は御悪い fact20: 「あの対抗連合は御悪い」ということは確かであるとすると「テラスハウスだしそれは北辺でない」ということは成り立たない fact21: なんらかのものは御悪いならば「それは文化・情報だがしかし北辺でない」ということは成り立たない fact22: あの対抗連合はテラスハウスである fact23: 仮にその売却価額が良書であるということはないならこの所得分配は文化・情報である fact24: この所得分配は北辺である ; $hypothesis$ = 「この所得分配は文化・情報である」ということは真実だ ; $proof$ = 
fact19 & fact22 -> int1: その売却価額は御悪い; fact5 -> int2: その売却価額は御悪いとすると「それは良書でそれは北辺でない」ということは偽だ; int1 & int2 -> int3: 「その売却価額は良書だけれど北辺でない」ということは間違っている; int3 & fact17 -> hypothesis; __PROVED__
事実1: 仮に何かはデビルズ・レイディオであるとしたら「北辺でなくてまたそれは断定し難い」ということは事実と異なる
事実2: 仮に何かは良書であるとすれば「文化・情報であるしそれにそれはテラスハウスでない」ということは事実と異なる
事実3: この所得分配はみみっちい
事実4: 「その売却価額は御悪いがしかしそれはテラスハウスでない」ということは確かでないとしたらあの対抗連合は北辺だ
事実5: 仮にある物は御悪いとすれば「「良書であるけど北辺でない」ということは事実である」ということは間違っている
事実6: 仮にあの米軍政庁が文化・情報であるとすれば北辺であるしまた良書でない
事実7: この所得分配は御悪い
事実8: もしもその売却価額は名乗り続けるなら「デビルズ・レイディオだ」ということは確かだ
事実9: ある物は北辺なら「良書だ一方でテラスハウスでない」ということは成り立つということはない
事実10: もしもとあるものは良書であるとしたら「テラスハウスであるけど文化・情報でない」ということは事実と異なる
事実11: 「この第一ステップは北辺だ」ということは嘘でない
事実12: この三次元分布が名乗り続けるとしたらその売却価額は名乗り続ける
事実13: 仮にある物は良書でないなら「それは御悪くないがしかしテラスハウスである」ということは成り立たない
事実14: 「その売却価額が文化・情報だけどそれは北辺でない」ということは正しくない
事実15: この三次元分布は名乗り続けるかあるいはそれは沿うかあるいは両方である
事実16: 「あの対抗連合は浅ましいが制約しない」ということは成り立つということはない
事実17: 仮に「その売却価額は良書だが北辺でない」ということは成り立つということはないとすればこの所得分配は文化・情報である
事実18: 「「この所得分配は四団体だが北辺でない」ということは成り立つ」ということは嘘である
事実19: もしあの対抗連合がテラスハウスだとすればその売却価額は御悪い
事実20: 「あの対抗連合は御悪い」ということは確かであるとすると「テラスハウスだしそれは北辺でない」ということは成り立たない
事実21: なんらかのものは御悪いならば「それは文化・情報だがしかし北辺でない」ということは成り立たない
事実22: あの対抗連合はテラスハウスである
事実23: 仮にその売却価額が良書であるということはないならこの所得分配は文化・情報である
事実24: この所得分配は北辺である

仮説: 「この所得分配は文化・情報である」ということは真実だ
1. 事実19と事実22から、推論1: "その売却価額は御悪い"が導かれる
2. 事実5から、推論2: "その売却価額は御悪いとすると「それは良書でそれは北辺でない」ということは偽だ"が導かれる
3. 推論1と推論2から、推論3: "「その売却価額は良書だけれど北辺でない」ということは間違っている"が導かれる
4. 推論3と事実17から、仮説が導かれる

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