その裏舞台はとろ臭い
fact1: もし「その裏舞台はとろ臭いけど者以外だということはない」ということは誤りであるとすればこのアーチ状は付け難い fact2: 「このアーチ状は最前面である」ということは事実と異ならない fact3: 「余所余所しかない物は引っ越せる」ということは確かだ fact4: もしもこの中枢型が引っ越せるとしたらその裏舞台はとろ臭い fact5: それが引っ越せるしその上とろ臭くないという物はない fact6: その裏舞台は付け難い fact7: 者以外でおまけにそれは改竄するという物はない fact8: あの御役所は付け難いということはない fact9: 者以外だけれど改竄しないというものはない fact10: もし仮に何らかのものが来着しないならＷＩデだ fact11: 仮に「このアーチ状は者以外だ一方で改竄しない」ということは間違いだとすればあのキッチングッズは付け難い fact12: あの五十五年体制は改竄する fact13: 「このアーチ状は者以外であるししかも改竄する」ということは成り立たない fact14: 仮にあのキッチングッズが付け難いならこの中枢型は余所余所しかない fact15: もしもこのアーチ状が引っ越せるとしたらこの中枢型は者以外である fact16: もし仮にこのアーチ状が改竄すればあのキッチングッズは付け難い
fact9 -> int1: 「このアーチ状は者以外である一方で改竄しない」ということは成り立たない; int1 & fact11 -> int2: あのキッチングッズは付け難い; int2 & fact14 -> int3: この中枢型は余所余所しかない; fact3 -> int4: 「もしこの中枢型が余所余所しかないならこの中枢型は引っ越せる」ということは成り立つ; int3 & int4 -> int5: この中枢型は引っ越せる; int5 & fact4 -> hypothesis;
$facts$ = fact1: もし「その裏舞台はとろ臭いけど者以外だということはない」ということは誤りであるとすればこのアーチ状は付け難い fact2: 「このアーチ状は最前面である」ということは事実と異ならない fact3: 「余所余所しかない物は引っ越せる」ということは確かだ fact4: もしもこの中枢型が引っ越せるとしたらその裏舞台はとろ臭い fact5: それが引っ越せるしその上とろ臭くないという物はない fact6: その裏舞台は付け難い fact7: 者以外でおまけにそれは改竄するという物はない fact8: あの御役所は付け難いということはない fact9: 者以外だけれど改竄しないというものはない fact10: もし仮に何らかのものが来着しないならＷＩデだ fact11: 仮に「このアーチ状は者以外だ一方で改竄しない」ということは間違いだとすればあのキッチングッズは付け難い fact12: あの五十五年体制は改竄する fact13: 「このアーチ状は者以外であるししかも改竄する」ということは成り立たない fact14: 仮にあのキッチングッズが付け難いならこの中枢型は余所余所しかない fact15: もしもこのアーチ状が引っ越せるとしたらこの中枢型は者以外である fact16: もし仮にこのアーチ状が改竄すればあのキッチングッズは付け難い ; $hypothesis$ = その裏舞台はとろ臭い ; $proof$ = 
fact9 -> int1: 「このアーチ状は者以外である一方で改竄しない」ということは成り立たない; int1 & fact11 -> int2: あのキッチングッズは付け難い; int2 & fact14 -> int3: この中枢型は余所余所しかない; fact3 -> int4: 「もしこの中枢型が余所余所しかないならこの中枢型は引っ越せる」ということは成り立つ; int3 & int4 -> int5: この中枢型は引っ越せる; int5 & fact4 -> hypothesis; __PROVED__
事実1: もし「その裏舞台はとろ臭いけど者以外だということはない」ということは誤りであるとすればこのアーチ状は付け難い
事実2: 「このアーチ状は最前面である」ということは事実と異ならない
事実3: 「余所余所しかない物は引っ越せる」ということは確かだ
事実4: もしもこの中枢型が引っ越せるとしたらその裏舞台はとろ臭い
事実5: それが引っ越せるしその上とろ臭くないという物はない
事実6: その裏舞台は付け難い
事実7: 者以外でおまけにそれは改竄するという物はない
事実8: あの御役所は付け難いということはない
事実9: 者以外だけれど改竄しないというものはない
事実10: もし仮に何らかのものが来着しないならＷＩデだ
事実11: 仮に「このアーチ状は者以外だ一方で改竄しない」ということは間違いだとすればあのキッチングッズは付け難い
事実12: あの五十五年体制は改竄する
事実13: 「このアーチ状は者以外であるししかも改竄する」ということは成り立たない
事実14: 仮にあのキッチングッズが付け難いならこの中枢型は余所余所しかない
事実15: もしもこのアーチ状が引っ越せるとしたらこの中枢型は者以外である
事実16: もし仮にこのアーチ状が改竄すればあのキッチングッズは付け難い

仮説: その裏舞台はとろ臭い
1. 事実9から、推論1: "「このアーチ状は者以外である一方で改竄しない」ということは成り立たない"が導かれる
2. 推論1と事実11から、推論2: "あのキッチングッズは付け難い"が導かれる
3. 推論2と事実14から、推論3: "この中枢型は余所余所しかない"が導かれる
4. 事実3から、推論4: "「もしこの中枢型が余所余所しかないならこの中枢型は引っ越せる」ということは成り立つ"が導かれる
5. 推論3と推論4から、推論5: "この中枢型は引っ越せる"が導かれる
6. 推論5と事実4から、仮説が導かれる

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