その屋根越しは一芸だ
fact1: 「洞窟トロルは間違い易い」ということは成り立つ fact2: もしこのＯＰＡＴが近似出来ないならばあの屋根越しは近似出来るし一芸だ fact3: あの制作者は増減出来るしおまけに変ずる fact4: もし「ある物は蓄積され易い」ということは本当であるとしたら一芸でない fact5: もし仮にこの内藤新宿試験場は増減出来ないとすると「その臭さは近似出来るし御知らせする」ということは嘘である fact6: もしなにかは近似出来るとすると御知らせする fact7: あの制作者は蓄積され易い fact8: 仮にあの制作者が間違い易いし御知らせするとすればあのＯＰＡＴは近似出来ない fact9: もしも「あの制作者は蓄積され易い」ということは成り立つとするとそれは洞窟トロルである fact10: もし「あの制作者は増減出来る」ということは真実なら御知らせする fact11: もしこのＯＰＡＴが御知らせしないとするとあの制作者は洞窟トロルでないが間違い易い
fact9 & fact7 -> int1: あの制作者は洞窟トロルである; fact1 -> int2: もしあの制作者は洞窟トロルであるとすればそれは間違い易い; int1 & int2 -> int3: あの制作者は間違い易い; fact3 -> int4: あの制作者は増減出来る; fact10 & int4 -> int5: あの制作者は御知らせする; int3 & int5 -> int6: あの制作者は間違い易くてまた御知らせする; int6 & fact8 -> int7: このＯＰＡＴは近似出来ない; int7 & fact2 -> int8: その屋根越しは近似出来るししかもそれは一芸である; int8 -> hypothesis;
その屋根越しは一芸でない
fact13 -> int9: 仮にその屋根越しが蓄積され易いとすれば一芸であるということはない;
$facts$ = fact1: 「洞窟トロルは間違い易い」ということは成り立つ fact2: もしこのＯＰＡＴが近似出来ないならばあの屋根越しは近似出来るし一芸だ fact3: あの制作者は増減出来るしおまけに変ずる fact4: もし「ある物は蓄積され易い」ということは本当であるとしたら一芸でない fact5: もし仮にこの内藤新宿試験場は増減出来ないとすると「その臭さは近似出来るし御知らせする」ということは嘘である fact6: もしなにかは近似出来るとすると御知らせする fact7: あの制作者は蓄積され易い fact8: 仮にあの制作者が間違い易いし御知らせするとすればあのＯＰＡＴは近似出来ない fact9: もしも「あの制作者は蓄積され易い」ということは成り立つとするとそれは洞窟トロルである fact10: もし「あの制作者は増減出来る」ということは真実なら御知らせする fact11: もしこのＯＰＡＴが御知らせしないとするとあの制作者は洞窟トロルでないが間違い易い ; $hypothesis$ = その屋根越しは一芸だ ; $proof$ = 
fact9 & fact7 -> int1: あの制作者は洞窟トロルである; fact1 -> int2: もしあの制作者は洞窟トロルであるとすればそれは間違い易い; int1 & int2 -> int3: あの制作者は間違い易い; fact3 -> int4: あの制作者は増減出来る; fact10 & int4 -> int5: あの制作者は御知らせする; int3 & int5 -> int6: あの制作者は間違い易くてまた御知らせする; int6 & fact8 -> int7: このＯＰＡＴは近似出来ない; int7 & fact2 -> int8: その屋根越しは近似出来るししかもそれは一芸である; int8 -> hypothesis; __PROVED__
事実1: 「洞窟トロルは間違い易い」ということは成り立つ
事実2: もしこのＯＰＡＴが近似出来ないならばあの屋根越しは近似出来るし一芸だ
事実3: あの制作者は増減出来るしおまけに変ずる
事実4: もし「ある物は蓄積され易い」ということは本当であるとしたら一芸でない
事実5: もし仮にこの内藤新宿試験場は増減出来ないとすると「その臭さは近似出来るし御知らせする」ということは嘘である
事実6: もしなにかは近似出来るとすると御知らせする
事実7: あの制作者は蓄積され易い
事実8: 仮にあの制作者が間違い易いし御知らせするとすればあのＯＰＡＴは近似出来ない
事実9: もしも「あの制作者は蓄積され易い」ということは成り立つとするとそれは洞窟トロルである
事実10: もし「あの制作者は増減出来る」ということは真実なら御知らせする
事実11: もしこのＯＰＡＴが御知らせしないとするとあの制作者は洞窟トロルでないが間違い易い

仮説: その屋根越しは一芸だ
1. 事実9と事実7から、推論1: "あの制作者は洞窟トロルである"が導かれる
2. 事実1から、推論2: "もしあの制作者は洞窟トロルであるとすればそれは間違い易い"が導かれる
3. 推論1と推論2から、推論3: "あの制作者は間違い易い"が導かれる
4. 事実3から、推論4: "あの制作者は増減出来る"が導かれる
5. 事実10と推論4から、推論5: "あの制作者は御知らせする"が導かれる
6. 推論3と推論5から、推論6: "あの制作者は間違い易くてまた御知らせする"が導かれる
7. 推論6と事実8から、推論7: "このＯＰＡＴは近似出来ない"が導かれる
8. 推論7と事実2から、推論8: "その屋根越しは近似出来るししかもそれは一芸である"が導かれる
9. 推論8から、仮説が導かれる

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