「比較し難いとすれば「大きくない一方で上野馬込遺跡である」ということは成り立たない」物はある
fact1: もしこのＮＳＫは大きいとすれば「それは中央間でないが積み終わる」ということは事実でない fact2: もし「このＮＳＫは比較し難い」ということは本当だとしたら大きくないしそれにそれは上野馬込遺跡である fact3: ある物は未払い分であるとすれば「油物でないがしかし添える」ということは成り立つということはない fact4: 「ある物は比較し難い」ということは成り立つとすると「それは大きくないがしかし上野馬込遺跡である」ということは成り立たない fact5: 仮に何らかのものが追い求めるとすれば押し付けはましくらない一方で格好良い fact6: もしもある物は比較し難いとしたら「大きいしさらに上野馬込遺跡である」ということは嘘だ
fact4 -> int1: もし仮にこのＮＳＫは比較し難いとすると「大きくないが上野馬込遺跡だ」ということは事実でない; int1 -> hypothesis;
「未払い分であるとしたら「油物であるということはないが添える」ということは誤りな」物はある
fact7 -> int2: あの誤信は未払い分であるとしたら「それは油物でないがしかし添える」ということは偽だ; int2 -> hypothesis;
$facts$ = fact1: もしこのＮＳＫは大きいとすれば「それは中央間でないが積み終わる」ということは事実でない fact2: もし「このＮＳＫは比較し難い」ということは本当だとしたら大きくないしそれにそれは上野馬込遺跡である fact3: ある物は未払い分であるとすれば「油物でないがしかし添える」ということは成り立つということはない fact4: 「ある物は比較し難い」ということは成り立つとすると「それは大きくないがしかし上野馬込遺跡である」ということは成り立たない fact5: 仮に何らかのものが追い求めるとすれば押し付けはましくらない一方で格好良い fact6: もしもある物は比較し難いとしたら「大きいしさらに上野馬込遺跡である」ということは嘘だ ; $hypothesis$ = 「比較し難いとすれば「大きくない一方で上野馬込遺跡である」ということは成り立たない」物はある ; $proof$ = 
fact4 -> int1: もし仮にこのＮＳＫは比較し難いとすると「大きくないが上野馬込遺跡だ」ということは事実でない; int1 -> hypothesis; __PROVED__
事実1: もしこのＮＳＫは大きいとすれば「それは中央間でないが積み終わる」ということは事実でない
事実2: もし「このＮＳＫは比較し難い」ということは本当だとしたら大きくないしそれにそれは上野馬込遺跡である
事実3: ある物は未払い分であるとすれば「油物でないがしかし添える」ということは成り立つということはない
事実4: 「ある物は比較し難い」ということは成り立つとすると「それは大きくないがしかし上野馬込遺跡である」ということは成り立たない
事実5: 仮に何らかのものが追い求めるとすれば押し付けはましくらない一方で格好良い
事実6: もしもある物は比較し難いとしたら「大きいしさらに上野馬込遺跡である」ということは嘘だ

仮説: 「比較し難いとすれば「大きくない一方で上野馬込遺跡である」ということは成り立たない」物はある
1. 事実4から、推論1: "もし仮にこのＮＳＫは比較し難いとすると「大きくないが上野馬込遺跡だ」ということは事実でない"が導かれる
2. 推論1から、仮説が導かれる

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