「「打ち難くないとすると召喚数でないけど内通する」ものはある」ということは事実と異なる
fact1: 「仮に打ち難いとすると召喚数でないけれど内通する」物はある fact2: 「打ち難くないとすると召喚数だしさらに内通する」物はある fact3: もしもその金余りが打ち難くないとすれば召喚数でないしさらに内通する fact4: もしその金余りが内通しないならばそれは扱い難い fact5: 「もしも「打ち難くない」ということは事実であるとすると内通する」ものはある fact6: もし仮になんらかの物が内通しないとしたらそれは軽くないがしかし法定代理人である fact7: もし仮にその金余りが打ち難いということはないとすればそれは召喚数でない fact8: もしその金余りが勝ち易くないとするとそれは広し fact9: 「その金余りは打ち難い」ということは本当だとしたら召喚数でないけど内通する fact10: 「「打ち難くない」ということは本当なら召喚数でない」物はある fact11: 手緩くない物は南蛮平定だということはないけれど救済出来る fact12: もしもその金余りが置屋でないならそれは遠いということはなくておまけにそれは起き出す
fact3 -> hypothesis;
fact3 -> hypothesis;
「仮に手緩いということはないとしたら南蛮平定でなくて更に救済出来る」ものはある
fact13 -> int1: もし仮にこの治療指針が手緩くないなら南蛮平定でないがしかし救済出来る; int1 -> hypothesis;
$facts$ = fact1: 「仮に打ち難いとすると召喚数でないけれど内通する」物はある fact2: 「打ち難くないとすると召喚数だしさらに内通する」物はある fact3: もしもその金余りが打ち難くないとすれば召喚数でないしさらに内通する fact4: もしその金余りが内通しないならばそれは扱い難い fact5: 「もしも「打ち難くない」ということは事実であるとすると内通する」ものはある fact6: もし仮になんらかの物が内通しないとしたらそれは軽くないがしかし法定代理人である fact7: もし仮にその金余りが打ち難いということはないとすればそれは召喚数でない fact8: もしその金余りが勝ち易くないとするとそれは広し fact9: 「その金余りは打ち難い」ということは本当だとしたら召喚数でないけど内通する fact10: 「「打ち難くない」ということは本当なら召喚数でない」物はある fact11: 手緩くない物は南蛮平定だということはないけれど救済出来る fact12: もしもその金余りが置屋でないならそれは遠いということはなくておまけにそれは起き出す ; $hypothesis$ = 「「打ち難くないとすると召喚数でないけど内通する」ものはある」ということは事実と異なる ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 「仮に打ち難いとすると召喚数でないけれど内通する」物はある
事実2: 「打ち難くないとすると召喚数だしさらに内通する」物はある
事実3: もしもその金余りが打ち難くないとすれば召喚数でないしさらに内通する
事実4: もしその金余りが内通しないならばそれは扱い難い
事実5: 「もしも「打ち難くない」ということは事実であるとすると内通する」ものはある
事実6: もし仮になんらかの物が内通しないとしたらそれは軽くないがしかし法定代理人である
事実7: もし仮にその金余りが打ち難いということはないとすればそれは召喚数でない
事実8: もしその金余りが勝ち易くないとするとそれは広し
事実9: 「その金余りは打ち難い」ということは本当だとしたら召喚数でないけど内通する
事実10: 「「打ち難くない」ということは本当なら召喚数でない」物はある
事実11: 手緩くない物は南蛮平定だということはないけれど救済出来る
事実12: もしもその金余りが置屋でないならそれは遠いということはなくておまけにそれは起き出す

仮説: 「「打ち難くないとすると召喚数でないけど内通する」ものはある」ということは事実と異なる
1. 事実3から、仮説が否定される

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