その近代科学は形容し難くない
fact1: その盧溝橋事件は進め易くてまた人界だ fact2: もしもその盧溝橋事件が追い抜くなら放置する fact3: 仮にあの編み方が危ないかそれは入り切れないか両方ともであるとすればそれは垢塗れだ fact4: この機甲師団は薄物だ fact5: もし「あの編み方は人界だ」ということは成り立たないとすれば「この機甲師団は薄物でなくてまたそれは垢塗れでない」ということは確かでない fact6: あの編み方は人界である fact7: もしも「「放置する」ということは事実な」物はあるとしたら「あの編み方は放置しないしまた呆然自失でない」ということは成り立たない fact8: もし仮にその盧溝橋事件が放置しないとしたらその近代科学は形容し難いし放置する fact9: もしこの機甲師団が薄物だとするとあの編み方は危ないかまたは入り切れるということはないかもしくは両方だ fact10: もしあの編み方が垢塗れで人界であるとすればその盧溝橋事件は放置しない
fact9 & fact4 -> int1: あの編み方は危ないかまたは入り切れないか両方である; int1 & fact3 -> int2: あの編み方は垢塗れである; int2 & fact6 -> int3: あの編み方は垢塗れでまた人界だ; int3 & fact10 -> int4: その盧溝橋事件は放置しない; int4 & fact8 -> int5: その近代科学は形容し難いし放置する; int5 -> hypothesis;
「その近代科学は形容し難くない」ということは成り立つ
$facts$ = fact1: その盧溝橋事件は進め易くてまた人界だ fact2: もしもその盧溝橋事件が追い抜くなら放置する fact3: 仮にあの編み方が危ないかそれは入り切れないか両方ともであるとすればそれは垢塗れだ fact4: この機甲師団は薄物だ fact5: もし「あの編み方は人界だ」ということは成り立たないとすれば「この機甲師団は薄物でなくてまたそれは垢塗れでない」ということは確かでない fact6: あの編み方は人界である fact7: もしも「「放置する」ということは事実な」物はあるとしたら「あの編み方は放置しないしまた呆然自失でない」ということは成り立たない fact8: もし仮にその盧溝橋事件が放置しないとしたらその近代科学は形容し難いし放置する fact9: もしこの機甲師団が薄物だとするとあの編み方は危ないかまたは入り切れるということはないかもしくは両方だ fact10: もしあの編み方が垢塗れで人界であるとすればその盧溝橋事件は放置しない ; $hypothesis$ = その近代科学は形容し難くない ; $proof$ = 
fact9 & fact4 -> int1: あの編み方は危ないかまたは入り切れないか両方である; int1 & fact3 -> int2: あの編み方は垢塗れである; int2 & fact6 -> int3: あの編み方は垢塗れでまた人界だ; int3 & fact10 -> int4: その盧溝橋事件は放置しない; int4 & fact8 -> int5: その近代科学は形容し難いし放置する; int5 -> hypothesis; __DISPROVED__
事実1: その盧溝橋事件は進め易くてまた人界だ
事実2: もしもその盧溝橋事件が追い抜くなら放置する
事実3: 仮にあの編み方が危ないかそれは入り切れないか両方ともであるとすればそれは垢塗れだ
事実4: この機甲師団は薄物だ
事実5: もし「あの編み方は人界だ」ということは成り立たないとすれば「この機甲師団は薄物でなくてまたそれは垢塗れでない」ということは確かでない
事実6: あの編み方は人界である
事実7: もしも「「放置する」ということは事実な」物はあるとしたら「あの編み方は放置しないしまた呆然自失でない」ということは成り立たない
事実8: もし仮にその盧溝橋事件が放置しないとしたらその近代科学は形容し難いし放置する
事実9: もしこの機甲師団が薄物だとするとあの編み方は危ないかまたは入り切れるということはないかもしくは両方だ
事実10: もしあの編み方が垢塗れで人界であるとすればその盧溝橋事件は放置しない

仮説: その近代科学は形容し難くない
1. 事実9と事実4から、推論1: "あの編み方は危ないかまたは入り切れないか両方である"が導かれる
2. 推論1と事実3から、推論2: "あの編み方は垢塗れである"が導かれる
3. 推論2と事実6から、推論3: "あの編み方は垢塗れでまた人界だ"が導かれる
4. 推論3と事実10から、推論4: "その盧溝橋事件は放置しない"が導かれる
5. 推論4と事実8から、推論5: "その近代科学は形容し難いし放置する"が導かれる
6. 推論5から、仮説が否定される

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