このかねつ橋供養塔は築城しない
fact1: このかねつ橋供養塔は専属管轄だ fact2: もしとある物は邦文であるならばそれは築城しない一方で共有出来る fact3: このかねつ橋供養塔は処分する fact4: この債務者等は築城する fact5: 仮に「何らかのものはデザイン化するし教材研究だ」ということは成り立つということはないとすれば邦文でない fact6: このかねつ橋供養塔は香り立つ fact7: この教授職は築城する fact8: あの消極性は築城する fact9: このかねつ橋供養塔は築城する fact10: 「あの紺は築城する」ということは確かである fact11: 何かは邦文でないならば共有出来るしさらに築城する
fact9 -> hypothesis;
fact9 -> hypothesis;
このかねつ橋供養塔は築城しない
fact12 -> int1: 仮にこのかねつ橋供養塔が邦文だとすれば築城するということはなくて加えて共有出来る;
$facts$ = fact1: このかねつ橋供養塔は専属管轄だ fact2: もしとある物は邦文であるならばそれは築城しない一方で共有出来る fact3: このかねつ橋供養塔は処分する fact4: この債務者等は築城する fact5: 仮に「何らかのものはデザイン化するし教材研究だ」ということは成り立つということはないとすれば邦文でない fact6: このかねつ橋供養塔は香り立つ fact7: この教授職は築城する fact8: あの消極性は築城する fact9: このかねつ橋供養塔は築城する fact10: 「あの紺は築城する」ということは確かである fact11: 何かは邦文でないならば共有出来るしさらに築城する ; $hypothesis$ = このかねつ橋供養塔は築城しない ; $proof$ = 
fact9 -> hypothesis; __DISPROVED__
事実1: このかねつ橋供養塔は専属管轄だ
事実2: もしとある物は邦文であるならばそれは築城しない一方で共有出来る
事実3: このかねつ橋供養塔は処分する
事実4: この債務者等は築城する
事実5: 仮に「何らかのものはデザイン化するし教材研究だ」ということは成り立つということはないとすれば邦文でない
事実6: このかねつ橋供養塔は香り立つ
事実7: この教授職は築城する
事実8: あの消極性は築城する
事実9: このかねつ橋供養塔は築城する
事実10: 「あの紺は築城する」ということは確かである
事実11: 何かは邦文でないならば共有出来るしさらに築城する

仮説: このかねつ橋供養塔は築城しない
1. 事実9から、仮説が否定される

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