あの不埒は認識出来るかあるいはそれは脈打つ
fact1: もしもあの製造年は少年院でないとしたら「あの不埒は認識出来るか脈打つ」ということは事実と異なる fact2: あの書道文化は甲高くてさらに封じ込める fact3: もしも「甲高い」ものがあるとするとその御産は杜撰であるかもしくは甲高いかまたは両方ともだ fact4: 「あの不埒は認識出来るということはない」ということは間違っていない fact5: あの製造年が少年院であるとしたらあの不埒は脈打つ fact6: もし仮になにがしかのものが少年院でないとすれば溶け易いということはないしまた脈打つ fact7: 「そのＢ光は所狭しかまたは少年院であるかあるいはどちらもだ」ということは間違いである fact8: あの製造年は少年院でないけど非営利団体である
fact8 -> int1: あの製造年は少年院であるということはない; int1 & fact1 -> hypothesis;
「あの不埒は認識出来るかあるいは脈打つ」ということは成り立つ
fact10 -> int2: あの書道文化は甲高い; int2 -> int3: なにかは甲高い; int3 & fact9 -> int4: 「その御産は杜撰であるかまたは甲高い」ということは本当だ;
$facts$ = fact1: もしもあの製造年は少年院でないとしたら「あの不埒は認識出来るか脈打つ」ということは事実と異なる fact2: あの書道文化は甲高くてさらに封じ込める fact3: もしも「甲高い」ものがあるとするとその御産は杜撰であるかもしくは甲高いかまたは両方ともだ fact4: 「あの不埒は認識出来るということはない」ということは間違っていない fact5: あの製造年が少年院であるとしたらあの不埒は脈打つ fact6: もし仮になにがしかのものが少年院でないとすれば溶け易いということはないしまた脈打つ fact7: 「そのＢ光は所狭しかまたは少年院であるかあるいはどちらもだ」ということは間違いである fact8: あの製造年は少年院でないけど非営利団体である ; $hypothesis$ = あの不埒は認識出来るかあるいはそれは脈打つ ; $proof$ = 
fact8 -> int1: あの製造年は少年院であるということはない; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもあの製造年は少年院でないとしたら「あの不埒は認識出来るか脈打つ」ということは事実と異なる
事実2: あの書道文化は甲高くてさらに封じ込める
事実3: もしも「甲高い」ものがあるとするとその御産は杜撰であるかもしくは甲高いかまたは両方ともだ
事実4: 「あの不埒は認識出来るということはない」ということは間違っていない
事実5: あの製造年が少年院であるとしたらあの不埒は脈打つ
事実6: もし仮になにがしかのものが少年院でないとすれば溶け易いということはないしまた脈打つ
事実7: 「そのＢ光は所狭しかまたは少年院であるかあるいはどちらもだ」ということは間違いである
事実8: あの製造年は少年院でないけど非営利団体である

仮説: あの不埒は認識出来るかあるいはそれは脈打つ
1. 事実8から、推論1: "あの製造年は少年院であるということはない"が導かれる
2. 推論1と事実1から、仮説が否定される

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