あの個人・法人は点数稼ぎでない
fact1: どれもこれもは社会技術でない fact2: もしも何らかのものが社会技術でないがしかしそれが悲しいとするとあの個人・法人は点数稼ぎである fact3: すべてのものは社会技術でないけれど悲しい fact4: 仮になんらかのものは焼き殺せば「それは通婚でないかまたはすべすべするかまたは両方だ」ということは成り立たない fact5: もし「あるものは通婚でないかまたはすべすべするかまたはどちらもだ」ということは事実と異なるとしたら煎ずる fact6: もしもこの熱射病は煎ずるなら「あのループ処理は社会技術でないかまたは悲しいかまたはどちらもだ」ということは間違いだ fact7: 「社会技術でない」ものはある
fact3 -> int1: このＰイングは社会技術だということはない一方で悲しい; int1 -> int2: なんらかのものは社会技術でないがしかし悲しい; int2 & fact2 -> hypothesis;
あの個人・法人は点数稼ぎでない
fact10 -> int3: 仮に「この熱射病は通婚でないかそれはすべすべするかまたは両方だ」ということは成り立たないとすれば煎ずる; fact9 -> int4: 仮にこの熱射病は焼き殺せば「それは通婚でないかもしくはそれはすべすべするかあるいは両方ともだ」ということは偽だ;
$facts$ = fact1: どれもこれもは社会技術でない fact2: もしも何らかのものが社会技術でないがしかしそれが悲しいとするとあの個人・法人は点数稼ぎである fact3: すべてのものは社会技術でないけれど悲しい fact4: 仮になんらかのものは焼き殺せば「それは通婚でないかまたはすべすべするかまたは両方だ」ということは成り立たない fact5: もし「あるものは通婚でないかまたはすべすべするかまたはどちらもだ」ということは事実と異なるとしたら煎ずる fact6: もしもこの熱射病は煎ずるなら「あのループ処理は社会技術でないかまたは悲しいかまたはどちらもだ」ということは間違いだ fact7: 「社会技術でない」ものはある ; $hypothesis$ = あの個人・法人は点数稼ぎでない ; $proof$ = 
fact3 -> int1: このＰイングは社会技術だということはない一方で悲しい; int1 -> int2: なんらかのものは社会技術でないがしかし悲しい; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: どれもこれもは社会技術でない
事実2: もしも何らかのものが社会技術でないがしかしそれが悲しいとするとあの個人・法人は点数稼ぎである
事実3: すべてのものは社会技術でないけれど悲しい
事実4: 仮になんらかのものは焼き殺せば「それは通婚でないかまたはすべすべするかまたは両方だ」ということは成り立たない
事実5: もし「あるものは通婚でないかまたはすべすべするかまたはどちらもだ」ということは事実と異なるとしたら煎ずる
事実6: もしもこの熱射病は煎ずるなら「あのループ処理は社会技術でないかまたは悲しいかまたはどちらもだ」ということは間違いだ
事実7: 「社会技術でない」ものはある

仮説: あの個人・法人は点数稼ぎでない
1. 事実3から、推論1: "このＰイングは社会技術だということはない一方で悲しい"が導かれる
2. 推論1から、推論2: "なんらかのものは社会技術でないがしかし悲しい"が導かれる
3. 推論2と事実2から、仮説が否定される

よって、仮説が否定されました。