あのギフトは代償しない
fact1: あのギフトは上がり易い fact2: あのギフトは音無しだ fact3: その物流インフラは上がり易い fact4: そのドンは代償する fact5: あのギフトはアーチ部分だ fact6: あのギフトは語り告げる fact7: 仮に「あのギフトは上がり易い」ということは事実と異ならないとしたらそれは代償する fact8: そのフォカイア人は上がり易い
fact7 & fact1 -> hypothesis;
fact7 & fact1 -> hypothesis;
$facts$ = fact1: あのギフトは上がり易い fact2: あのギフトは音無しだ fact3: その物流インフラは上がり易い fact4: そのドンは代償する fact5: あのギフトはアーチ部分だ fact6: あのギフトは語り告げる fact7: 仮に「あのギフトは上がり易い」ということは事実と異ならないとしたらそれは代償する fact8: そのフォカイア人は上がり易い ; $hypothesis$ = あのギフトは代償しない ; $proof$ = 
fact7 & fact1 -> hypothesis; __DISPROVED__
事実1: あのギフトは上がり易い
事実2: あのギフトは音無しだ
事実3: その物流インフラは上がり易い
事実4: そのドンは代償する
事実5: あのギフトはアーチ部分だ
事実6: あのギフトは語り告げる
事実7: 仮に「あのギフトは上がり易い」ということは事実と異ならないとしたらそれは代償する
事実8: そのフォカイア人は上がり易い

仮説: あのギフトは代償しない
1. 事実7と事実1から、仮説が否定される

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