その建造物損壊罪は似付かわしいしおまけに慎ましい
fact1: 錆無いものが換算しないとしたらその建造物損壊罪は新し fact2: 「とあるものは検閲するということはないかせせこましくないか両方だ」ということは成り立たないとすれば慎ましい fact3: もしも錆無くない物が換算しないならその建造物損壊罪は新し fact4: もしも「あの記憶媒体は発現し易いかまたはそれは検閲しないかまたは両方である」ということは成り立たないならばあの落葉広葉樹はせせこましい fact5: 新し物は似付かわしい fact6: もし仮にあの記憶媒体は芸であるならば「発現し易いかもしくは検閲しないかまたは両方ともだ」ということは成り立つということはない fact7: 「仮にその建造物損壊罪は発現し易くないとすると「その建造物損壊罪は検閲しないかあるいはそれはせせこましくない」ということは事実と異なる」ということは事実だ fact8: その建造物損壊罪は発現し易くない fact9: 全ての物が芸だしそれは情けない fact10: 「錆無くないしまた換算するということはない」物はある fact11: 仮になにがしかの物はせせこましいとしたら「換算しなくてかつ新しない」ということは成り立たない fact12: 「なにがしかのものが換算しないしさらにそれは新しない」ということは間違っているとしたらそれは錆無い
fact10 & fact3 -> int1: 「その建造物損壊罪は新し」ということは嘘でない; fact5 -> int2: もしもその建造物損壊罪が新しとしたら似付かわしい; int1 & int2 -> int3: 「その建造物損壊罪は似付かわしい」ということは成り立つ; fact2 -> int4: 「その建造物損壊罪は検閲しないかもしくはせせこましくないかどちらもである」ということは偽であるならば慎ましい; fact8 & fact7 -> int5: 「その建造物損壊罪は検閲しないかもしくはせせこましくない」ということは成り立たない; int4 & int5 -> int6: 「その建造物損壊罪は慎ましい」ということは成り立つ; int3 & int6 -> hypothesis;
「その建造物損壊罪は似付かわしいしそれは慎ましい」ということは偽である
fact14 -> int7: もし仮に「あの落葉広葉樹は換算しないし新しない」ということは成り立たないなら錆無い; fact13 -> int8: もし仮にあの落葉広葉樹はせせこましいとすると「それは換算しないし新しない」ということは間違いだ; fact15 -> int9: あの記憶媒体は芸だしかつ情けない; int9 -> int10: あの記憶媒体は芸だ; fact17 & int10 -> int11: 「あの記憶媒体は発現し易いかあるいはそれは検閲しないかもしくは両方ともだ」ということは偽である; fact16 & int11 -> int12: あの落葉広葉樹はせせこましい; int8 & int12 -> int13: 「あの落葉広葉樹は換算しないし新しということはない」ということは偽だ; int7 & int13 -> int14: あの落葉広葉樹は錆無い; int14 -> int15: 「「錆無い」ということは成り立つ」ものはある;
$facts$ = fact1: 錆無いものが換算しないとしたらその建造物損壊罪は新し fact2: 「とあるものは検閲するということはないかせせこましくないか両方だ」ということは成り立たないとすれば慎ましい fact3: もしも錆無くない物が換算しないならその建造物損壊罪は新し fact4: もしも「あの記憶媒体は発現し易いかまたはそれは検閲しないかまたは両方である」ということは成り立たないならばあの落葉広葉樹はせせこましい fact5: 新し物は似付かわしい fact6: もし仮にあの記憶媒体は芸であるならば「発現し易いかもしくは検閲しないかまたは両方ともだ」ということは成り立つということはない fact7: 「仮にその建造物損壊罪は発現し易くないとすると「その建造物損壊罪は検閲しないかあるいはそれはせせこましくない」ということは事実と異なる」ということは事実だ fact8: その建造物損壊罪は発現し易くない fact9: 全ての物が芸だしそれは情けない fact10: 「錆無くないしまた換算するということはない」物はある fact11: 仮になにがしかの物はせせこましいとしたら「換算しなくてかつ新しない」ということは成り立たない fact12: 「なにがしかのものが換算しないしさらにそれは新しない」ということは間違っているとしたらそれは錆無い ; $hypothesis$ = その建造物損壊罪は似付かわしいしおまけに慎ましい ; $proof$ = 
fact10 & fact3 -> int1: 「その建造物損壊罪は新し」ということは嘘でない; fact5 -> int2: もしもその建造物損壊罪が新しとしたら似付かわしい; int1 & int2 -> int3: 「その建造物損壊罪は似付かわしい」ということは成り立つ; fact2 -> int4: 「その建造物損壊罪は検閲しないかもしくはせせこましくないかどちらもである」ということは偽であるならば慎ましい; fact8 & fact7 -> int5: 「その建造物損壊罪は検閲しないかもしくはせせこましくない」ということは成り立たない; int4 & int5 -> int6: 「その建造物損壊罪は慎ましい」ということは成り立つ; int3 & int6 -> hypothesis; __PROVED__
事実1: 錆無いものが換算しないとしたらその建造物損壊罪は新し
事実2: 「とあるものは検閲するということはないかせせこましくないか両方だ」ということは成り立たないとすれば慎ましい
事実3: もしも錆無くない物が換算しないならその建造物損壊罪は新し
事実4: もしも「あの記憶媒体は発現し易いかまたはそれは検閲しないかまたは両方である」ということは成り立たないならばあの落葉広葉樹はせせこましい
事実5: 新し物は似付かわしい
事実6: もし仮にあの記憶媒体は芸であるならば「発現し易いかもしくは検閲しないかまたは両方ともだ」ということは成り立つということはない
事実7: 「仮にその建造物損壊罪は発現し易くないとすると「その建造物損壊罪は検閲しないかあるいはそれはせせこましくない」ということは事実と異なる」ということは事実だ
事実8: その建造物損壊罪は発現し易くない
事実9: 全ての物が芸だしそれは情けない
事実10: 「錆無くないしまた換算するということはない」物はある
事実11: 仮になにがしかの物はせせこましいとしたら「換算しなくてかつ新しない」ということは成り立たない
事実12: 「なにがしかのものが換算しないしさらにそれは新しない」ということは間違っているとしたらそれは錆無い

仮説: その建造物損壊罪は似付かわしいしおまけに慎ましい
1. 事実10と事実3から、推論1: "「その建造物損壊罪は新し」ということは嘘でない"が導かれる
2. 事実5から、推論2: "もしもその建造物損壊罪が新しとしたら似付かわしい"が導かれる
3. 推論1と推論2から、推論3: "「その建造物損壊罪は似付かわしい」ということは成り立つ"が導かれる
4. 事実2から、推論4: "「その建造物損壊罪は検閲しないかもしくはせせこましくないかどちらもである」ということは偽であるならば慎ましい"が導かれる
5. 事実8と事実7から、推論5: "「その建造物損壊罪は検閲しないかもしくはせせこましくない」ということは成り立たない"が導かれる
6. 推論4と推論5から、推論6: "「その建造物損壊罪は慎ましい」ということは成り立つ"が導かれる
7. 推論3と推論6から、仮説が導かれる

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