その身繕いはポップアップしない
fact1: その身繕いはポップアップする fact2: その機会ロスはポップアップする fact3: その身繕いは一致す fact4: その二分割はポップアップする fact5: あるものは貧しなら「それは評価する一方で薄さでない」ということは成り立たない fact6: その身繕いは鮭である fact7: その同型はポップアップする
fact1 -> hypothesis;
fact1 -> hypothesis;
その身繕いはポップアップしない
fact8 -> int1: その律令国家財政は貧しならば「それは評価するがしかし薄さでない」ということは間違っている;
$facts$ = fact1: その身繕いはポップアップする fact2: その機会ロスはポップアップする fact3: その身繕いは一致す fact4: その二分割はポップアップする fact5: あるものは貧しなら「それは評価する一方で薄さでない」ということは成り立たない fact6: その身繕いは鮭である fact7: その同型はポップアップする ; $hypothesis$ = その身繕いはポップアップしない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: その身繕いはポップアップする
事実2: その機会ロスはポップアップする
事実3: その身繕いは一致す
事実4: その二分割はポップアップする
事実5: あるものは貧しなら「それは評価する一方で薄さでない」ということは成り立たない
事実6: その身繕いは鮭である
事実7: その同型はポップアップする

仮説: その身繕いはポップアップしない
1. 事実1から、仮説が否定される

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