この上手・下手はみみっちくない
fact1: 御寂しくない物はみみっちくない fact2: そのボディ側はセキュリティ上であるが痛めるということはない fact3: 仮にあるものは内因でないならそれはみみっちい fact4: もしもこのバランス・ポジションがスクリプト機能でないとしたらこの遍在説は内因でないがしかし採種する fact5: もし仮にその転売目的が労労じないならこの上手・下手は労労じない fact6: そのボディ側はセキュリティ上だ fact7: もしこの遍在説が内因でないけど採種するならその転売目的は労労じない fact8: 「その転売目的は労労じということはない」ということは本当だとしたらこの上手・下手は労労じということはなくてそれに御寂しくない fact9: 仮にそのボディ側がセキュリティ上である一方で痛めないとすればこのバランス・ポジションはスクリプト機能でない
fact9 & fact2 -> int1: このバランス・ポジションはスクリプト機能であるということはない; int1 & fact4 -> int2: この遍在説は内因でないけれどそれは採種する; int2 & fact7 -> int3: その転売目的は労労じない; int3 & fact8 -> int4: この上手・下手は労労じないし更に御寂しくない; int4 -> int5: この上手・下手は御寂しくない; fact1 -> int6: この上手・下手が御寂しくないならばみみっちいということはない; int5 & int6 -> hypothesis;
この上手・下手はみみっちい
fact10 -> int7: もしこの上手・下手は内因でないとしたら「それはみみっちい」ということは事実である;
$facts$ = fact1: 御寂しくない物はみみっちくない fact2: そのボディ側はセキュリティ上であるが痛めるということはない fact3: 仮にあるものは内因でないならそれはみみっちい fact4: もしもこのバランス・ポジションがスクリプト機能でないとしたらこの遍在説は内因でないがしかし採種する fact5: もし仮にその転売目的が労労じないならこの上手・下手は労労じない fact6: そのボディ側はセキュリティ上だ fact7: もしこの遍在説が内因でないけど採種するならその転売目的は労労じない fact8: 「その転売目的は労労じということはない」ということは本当だとしたらこの上手・下手は労労じということはなくてそれに御寂しくない fact9: 仮にそのボディ側がセキュリティ上である一方で痛めないとすればこのバランス・ポジションはスクリプト機能でない ; $hypothesis$ = この上手・下手はみみっちくない ; $proof$ = 
fact9 & fact2 -> int1: このバランス・ポジションはスクリプト機能であるということはない; int1 & fact4 -> int2: この遍在説は内因でないけれどそれは採種する; int2 & fact7 -> int3: その転売目的は労労じない; int3 & fact8 -> int4: この上手・下手は労労じないし更に御寂しくない; int4 -> int5: この上手・下手は御寂しくない; fact1 -> int6: この上手・下手が御寂しくないならばみみっちいということはない; int5 & int6 -> hypothesis; __PROVED__
事実1: 御寂しくない物はみみっちくない
事実2: そのボディ側はセキュリティ上であるが痛めるということはない
事実3: 仮にあるものは内因でないならそれはみみっちい
事実4: もしもこのバランス・ポジションがスクリプト機能でないとしたらこの遍在説は内因でないがしかし採種する
事実5: もし仮にその転売目的が労労じないならこの上手・下手は労労じない
事実6: そのボディ側はセキュリティ上だ
事実7: もしこの遍在説が内因でないけど採種するならその転売目的は労労じない
事実8: 「その転売目的は労労じということはない」ということは本当だとしたらこの上手・下手は労労じということはなくてそれに御寂しくない
事実9: 仮にそのボディ側がセキュリティ上である一方で痛めないとすればこのバランス・ポジションはスクリプト機能でない

仮説: この上手・下手はみみっちくない
1. 事実9と事実2から、推論1: "このバランス・ポジションはスクリプト機能であるということはない"が導かれる
2. 推論1と事実4から、推論2: "この遍在説は内因でないけれどそれは採種する"が導かれる
3. 推論2と事実7から、推論3: "その転売目的は労労じない"が導かれる
4. 推論3と事実8から、推論4: "この上手・下手は労労じないし更に御寂しくない"が導かれる
5. 推論4から、推論5: "この上手・下手は御寂しくない"が導かれる
6. 事実1から、推論6: "この上手・下手が御寂しくないならばみみっちいということはない"が導かれる
7. 推論5と推論6から、仮説が導かれる

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