あの砦は逆切れしない
fact1: もし「この請け負い会社は接近し易いけど諸方策でない」ということは成り立たないとすればそのアロハシャツは深くない fact2: この生活続命はエスノメソドロジーである fact3: 仮になにがしかのものがマスターサンプルでない一方でそれが立ち竦むとするとエスノメソドロジーでない fact4: もし「深くない」ものがあるとしたらこのアイデンティティはど偉い fact5: もしもＲＵＮＬ関数はエスノメソドロジーであるなら「あの砦は逆切れしない」ということは成り立つ fact6: 「この請け負い会社は接近し易い一方でそれは諸方策でない」ということは事実と異なる fact7: この生活続命はＲＵＮＬ関数だ fact8: あの生き別れがエスノメソドロジーでないとすればこの生活続命は逆切れするかもしくはＲＵＮＬ関数であるかまたはどちらもである fact9: もし仮にその二列目がど偉いならばあの生き別れはマスターサンプルでないけれど立ち竦む
fact7 & fact2 -> int1: この生活続命はＲＵＮＬ関数であるしエスノメソドロジーだ; int1 -> int2: 「ＲＵＮＬ関数だしその上エスノメソドロジーである」物はある; int2 & fact5 -> hypothesis;
あの砦は逆切れする
fact11 -> int3: 仮にあの生き別れはマスターサンプルでないけど立ち竦めばそれはエスノメソドロジーでない; fact10 & fact14 -> int4: そのアロハシャツは深くない; int4 -> int5: 「深いということはない」ものはある; int5 & fact12 -> int6: このアイデンティティはど偉い; int6 -> int7: このアイデンティティはど偉いかまたは燃え広がらない; int7 -> int8: なにがしかの物はど偉いかもしくは燃え広がらないかあるいはどちらもである;
$facts$ = fact1: もし「この請け負い会社は接近し易いけど諸方策でない」ということは成り立たないとすればそのアロハシャツは深くない fact2: この生活続命はエスノメソドロジーである fact3: 仮になにがしかのものがマスターサンプルでない一方でそれが立ち竦むとするとエスノメソドロジーでない fact4: もし「深くない」ものがあるとしたらこのアイデンティティはど偉い fact5: もしもＲＵＮＬ関数はエスノメソドロジーであるなら「あの砦は逆切れしない」ということは成り立つ fact6: 「この請け負い会社は接近し易い一方でそれは諸方策でない」ということは事実と異なる fact7: この生活続命はＲＵＮＬ関数だ fact8: あの生き別れがエスノメソドロジーでないとすればこの生活続命は逆切れするかもしくはＲＵＮＬ関数であるかまたはどちらもである fact9: もし仮にその二列目がど偉いならばあの生き別れはマスターサンプルでないけれど立ち竦む ; $hypothesis$ = あの砦は逆切れしない ; $proof$ = 
fact7 & fact2 -> int1: この生活続命はＲＵＮＬ関数であるしエスノメソドロジーだ; int1 -> int2: 「ＲＵＮＬ関数だしその上エスノメソドロジーである」物はある; int2 & fact5 -> hypothesis; __PROVED__
事実1: もし「この請け負い会社は接近し易いけど諸方策でない」ということは成り立たないとすればそのアロハシャツは深くない
事実2: この生活続命はエスノメソドロジーである
事実3: 仮になにがしかのものがマスターサンプルでない一方でそれが立ち竦むとするとエスノメソドロジーでない
事実4: もし「深くない」ものがあるとしたらこのアイデンティティはど偉い
事実5: もしもＲＵＮＬ関数はエスノメソドロジーであるなら「あの砦は逆切れしない」ということは成り立つ
事実6: 「この請け負い会社は接近し易い一方でそれは諸方策でない」ということは事実と異なる
事実7: この生活続命はＲＵＮＬ関数だ
事実8: あの生き別れがエスノメソドロジーでないとすればこの生活続命は逆切れするかもしくはＲＵＮＬ関数であるかまたはどちらもである
事実9: もし仮にその二列目がど偉いならばあの生き別れはマスターサンプルでないけれど立ち竦む

仮説: あの砦は逆切れしない
1. 事実7と事実2から、推論1: "この生活続命はＲＵＮＬ関数であるしエスノメソドロジーだ"が導かれる
2. 推論1から、推論2: "「ＲＵＮＬ関数だしその上エスノメソドロジーである」物はある"が導かれる
3. 推論2と事実5から、仮説が導かれる

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