その被害者救済は望ましい
fact1: その被害者救済は望ましい fact2: その被害者救済は浅くて加えて苦り切る fact3: その被害者救済は数時間以内である fact4: もしも正しくないものが苦り切ればそれは浅くない fact5: あの殺人課は望ましい fact6: 浅い物が再設定するとしたら望ましかない fact7: 仮にあの貧乏貴族が浅くないならば再設定するし望ましい
fact1 -> hypothesis;
fact1 -> hypothesis;
その被害者救済は望ましかない
fact8 -> int1: もしもその被害者救済が浅いしその上それが再設定するとしたら望ましかない; fact9 -> int2: その被害者救済は浅い;
$facts$ = fact1: その被害者救済は望ましい fact2: その被害者救済は浅くて加えて苦り切る fact3: その被害者救済は数時間以内である fact4: もしも正しくないものが苦り切ればそれは浅くない fact5: あの殺人課は望ましい fact6: 浅い物が再設定するとしたら望ましかない fact7: 仮にあの貧乏貴族が浅くないならば再設定するし望ましい ; $hypothesis$ = その被害者救済は望ましい ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: その被害者救済は望ましい
事実2: その被害者救済は浅くて加えて苦り切る
事実3: その被害者救済は数時間以内である
事実4: もしも正しくないものが苦り切ればそれは浅くない
事実5: あの殺人課は望ましい
事実6: 浅い物が再設定するとしたら望ましかない
事実7: 仮にあの貧乏貴族が浅くないならば再設定するし望ましい

仮説: その被害者救済は望ましい
1. 事実1から、仮説が導かれる

よって、仮説が証明されました。