この指揮者は年寄らない
fact1: この真如は午王山遺跡である fact2: この指揮者は程近い fact3: この指揮者は午王山遺跡だ fact4: あの近代産業は午王山遺跡である fact5: この指揮者は年寄るし午王山遺跡である fact6: この空色は午王山遺跡である fact7: 「この指揮者は出仕する」ということは事実である fact8: 「この指揮者は青いしさらに罵り合う」ということは確かである fact9: その三百六ブレークは年寄る fact10: この指揮者は未感染者だ fact11: 繋がり易くない物は年寄るしおまけに午王山遺跡である
fact5 -> hypothesis;
fact5 -> hypothesis;
この儒学者は午王山遺跡でおまけに人的要素である
fact12 -> int1: 仮にこの儒学者は繋がり易いということはないならば「年寄るし午王山遺跡だ」ということは事実である;
$facts$ = fact1: この真如は午王山遺跡である fact2: この指揮者は程近い fact3: この指揮者は午王山遺跡だ fact4: あの近代産業は午王山遺跡である fact5: この指揮者は年寄るし午王山遺跡である fact6: この空色は午王山遺跡である fact7: 「この指揮者は出仕する」ということは事実である fact8: 「この指揮者は青いしさらに罵り合う」ということは確かである fact9: その三百六ブレークは年寄る fact10: この指揮者は未感染者だ fact11: 繋がり易くない物は年寄るしおまけに午王山遺跡である ; $hypothesis$ = この指揮者は年寄らない ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: この真如は午王山遺跡である
事実2: この指揮者は程近い
事実3: この指揮者は午王山遺跡だ
事実4: あの近代産業は午王山遺跡である
事実5: この指揮者は年寄るし午王山遺跡である
事実6: この空色は午王山遺跡である
事実7: 「この指揮者は出仕する」ということは事実である
事実8: 「この指揮者は青いしさらに罵り合う」ということは確かである
事実9: その三百六ブレークは年寄る
事実10: この指揮者は未感染者だ
事実11: 繋がり易くない物は年寄るしおまけに午王山遺跡である

仮説: この指揮者は年寄らない
1. 事実5から、仮説が否定される

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