その天朝は配分的正義である
fact1: その科学は飛び退る fact2: もし仮にこのブロードバンドが配分的正義だとすればその天朝は配分的正義だ fact3: 仮にこのブロードバンドが飛び退るとしたらその天朝は配分的正義でない fact4: このブロードバンドはＷＳＸＷＳモチーフである fact5: 「その天朝は握り合わない」ということは正しい fact6: このブロードバンドはＷＳＸＷＳモチーフであるとしたら「それは飛び退る」ということは間違っていない
fact6 & fact4 -> int1: このブロードバンドは飛び退る; int1 & fact3 -> hypothesis;
その天朝は配分的正義である
$facts$ = fact1: その科学は飛び退る fact2: もし仮にこのブロードバンドが配分的正義だとすればその天朝は配分的正義だ fact3: 仮にこのブロードバンドが飛び退るとしたらその天朝は配分的正義でない fact4: このブロードバンドはＷＳＸＷＳモチーフである fact5: 「その天朝は握り合わない」ということは正しい fact6: このブロードバンドはＷＳＸＷＳモチーフであるとしたら「それは飛び退る」ということは間違っていない ; $hypothesis$ = その天朝は配分的正義である ; $proof$ = 
fact6 & fact4 -> int1: このブロードバンドは飛び退る; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: その科学は飛び退る
事実2: もし仮にこのブロードバンドが配分的正義だとすればその天朝は配分的正義だ
事実3: 仮にこのブロードバンドが飛び退るとしたらその天朝は配分的正義でない
事実4: このブロードバンドはＷＳＸＷＳモチーフである
事実5: 「その天朝は握り合わない」ということは正しい
事実6: このブロードバンドはＷＳＸＷＳモチーフであるとしたら「それは飛び退る」ということは間違っていない

仮説: その天朝は配分的正義である
1. 事実6と事実4から、推論1: "このブロードバンドは飛び退る"が導かれる
2. 推論1と事実3から、仮説が否定される

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