「その日向神話は浅しないししかも尊敬しない」ということは偽である
fact1: もしこの尖足が学校格差だということはないとしたらその日向神話は白鬚だということはないが抜き難い fact2: もしこの尖足が学校格差だとするとその不勉強は学校格差でない fact3: もし仮にその日向神話は抜き難いかあるいは決すなら「浅しない」ということは成り立つ fact4: この尖足は学校格差だということはない fact5: もし仮になにかは浅しないがしかし決すならそれは学校格差だ fact6: もしも何らかのものは学校格差であるとしたら「それは浅しないし加えて尊敬しない」ということは誤っている fact7: 「この尖足は決さない」ということは成り立つ fact8: もしもあの剥離子が条文草案でないならばその日向神話は尊敬しないしかつ口さがないということはない fact9: あの剥離子は条文草案でない fact10: その日向神話は白鬚でない
fact1 & fact4 -> int1: その日向神話は白鬚でないけれど抜き難い; int1 -> int2: その日向神話は抜き難い; int2 -> int3: その日向神話は抜き難いかまたは決す; int3 & fact3 -> int4: その日向神話は浅しない; fact9 & fact8 -> int5: その日向神話は尊敬しないしその上口さがないということはない; int5 -> int6: その日向神話は尊敬しない; int4 & int6 -> hypothesis;
その不勉強は学校格差でない
fact11 -> int7: もしもこの尖足は浅しないけど決すならそれは学校格差である;
$facts$ = fact1: もしこの尖足が学校格差だということはないとしたらその日向神話は白鬚だということはないが抜き難い fact2: もしこの尖足が学校格差だとするとその不勉強は学校格差でない fact3: もし仮にその日向神話は抜き難いかあるいは決すなら「浅しない」ということは成り立つ fact4: この尖足は学校格差だということはない fact5: もし仮になにかは浅しないがしかし決すならそれは学校格差だ fact6: もしも何らかのものは学校格差であるとしたら「それは浅しないし加えて尊敬しない」ということは誤っている fact7: 「この尖足は決さない」ということは成り立つ fact8: もしもあの剥離子が条文草案でないならばその日向神話は尊敬しないしかつ口さがないということはない fact9: あの剥離子は条文草案でない fact10: その日向神話は白鬚でない ; $hypothesis$ = 「その日向神話は浅しないししかも尊敬しない」ということは偽である ; $proof$ = 
fact1 & fact4 -> int1: その日向神話は白鬚でないけれど抜き難い; int1 -> int2: その日向神話は抜き難い; int2 -> int3: その日向神話は抜き難いかまたは決す; int3 & fact3 -> int4: その日向神話は浅しない; fact9 & fact8 -> int5: その日向神話は尊敬しないしその上口さがないということはない; int5 -> int6: その日向神話は尊敬しない; int4 & int6 -> hypothesis; __DISPROVED__
事実1: もしこの尖足が学校格差だということはないとしたらその日向神話は白鬚だということはないが抜き難い
事実2: もしこの尖足が学校格差だとするとその不勉強は学校格差でない
事実3: もし仮にその日向神話は抜き難いかあるいは決すなら「浅しない」ということは成り立つ
事実4: この尖足は学校格差だということはない
事実5: もし仮になにかは浅しないがしかし決すならそれは学校格差だ
事実6: もしも何らかのものは学校格差であるとしたら「それは浅しないし加えて尊敬しない」ということは誤っている
事実7: 「この尖足は決さない」ということは成り立つ
事実8: もしもあの剥離子が条文草案でないならばその日向神話は尊敬しないしかつ口さがないということはない
事実9: あの剥離子は条文草案でない
事実10: その日向神話は白鬚でない

仮説: 「その日向神話は浅しないししかも尊敬しない」ということは偽である
1. 事実1と事実4から、推論1: "その日向神話は白鬚でないけれど抜き難い"が導かれる
2. 推論1から、推論2: "その日向神話は抜き難い"が導かれる
3. 推論2から、推論3: "その日向神話は抜き難いかまたは決す"が導かれる
4. 推論3と事実3から、推論4: "その日向神話は浅しない"が導かれる
5. 事実9と事実8から、推論5: "その日向神話は尊敬しないしその上口さがないということはない"が導かれる
6. 推論5から、推論6: "その日向神話は尊敬しない"が導かれる
7. 推論4と推論6から、仮説が否定される

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