この耳塚は収益計上する
fact1: もしもあの有機酸が結べないしさらに焼損するということはないとするとこの耳塚は身軽くない fact2: もしもこの耳塚が収益計上するし標語ならばあの有機酸は焼損しない fact3: あの太極通信は身軽い fact4: あの有機酸は身軽いしそれにそれは焼損する fact5: この耳塚は伝え易くて墓標だ fact6: あの有機酸は標語だ fact7: あの有機酸は収益計上する fact8: あの有機酸が標語だしそれは結べる fact9: もしあの有機酸が焼損するしそれが結べるとしたらこの耳塚は収益計上しない
fact4 -> int1: あの有機酸は焼損する; fact8 -> int2: 「あの有機酸は結べる」ということは事実である; int1 & int2 -> int3: あの有機酸は焼損するし結べる; int3 & fact9 -> hypothesis;
fact4 -> int1: {B}{a}; fact8 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); int3 & fact9 -> hypothesis;
「この耳塚は身軽くない」ということは誤りでない
$facts$ = fact1: もしもあの有機酸が結べないしさらに焼損するということはないとするとこの耳塚は身軽くない fact2: もしもこの耳塚が収益計上するし標語ならばあの有機酸は焼損しない fact3: あの太極通信は身軽い fact4: あの有機酸は身軽いしそれにそれは焼損する fact5: この耳塚は伝え易くて墓標だ fact6: あの有機酸は標語だ fact7: あの有機酸は収益計上する fact8: あの有機酸が標語だしそれは結べる fact9: もしあの有機酸が焼損するしそれが結べるとしたらこの耳塚は収益計上しない ; $hypothesis$ = この耳塚は収益計上する ; $proof$ = 
fact4 -> int1: あの有機酸は焼損する; fact8 -> int2: 「あの有機酸は結べる」ということは事実である; int1 & int2 -> int3: あの有機酸は焼損するし結べる; int3 & fact9 -> hypothesis; __DISPROVED__
事実1: もしもあの有機酸が結べないしさらに焼損するということはないとするとこの耳塚は身軽くない
事実2: もしもこの耳塚が収益計上するし標語ならばあの有機酸は焼損しない
事実3: あの太極通信は身軽い
事実4: あの有機酸は身軽いしそれにそれは焼損する
事実5: この耳塚は伝え易くて墓標だ
事実6: あの有機酸は標語だ
事実7: あの有機酸は収益計上する
事実8: あの有機酸が標語だしそれは結べる
事実9: もしあの有機酸が焼損するしそれが結べるとしたらこの耳塚は収益計上しない

仮説: この耳塚は収益計上する
1. 事実4から、推論1: "あの有機酸は焼損する"が導かれる
2. 事実8から、推論2: "「あの有機酸は結べる」ということは事実である"が導かれる
3. 推論1と推論2から、推論3: "あの有機酸は焼損するし結べる"が導かれる
4. 推論3と事実9から、仮説が否定される

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