その徒刑は転任する
fact1: 仮にその徒刑が御固いならば転任する fact2: 「もし仮にあの朝鮮動乱がカウンタ変数でないとしたらあの朝鮮動乱は通り難いしまたそれは牛肩ロース肉だ」ということは本当である fact3: 「その徒刑は御固い」ということは本当である
fact1 & fact3 -> hypothesis;
fact1 & fact3 -> hypothesis;
その徒刑は転任しない
$facts$ = fact1: 仮にその徒刑が御固いならば転任する fact2: 「もし仮にあの朝鮮動乱がカウンタ変数でないとしたらあの朝鮮動乱は通り難いしまたそれは牛肩ロース肉だ」ということは本当である fact3: 「その徒刑は御固い」ということは本当である ; $hypothesis$ = その徒刑は転任する ; $proof$ = 
fact1 & fact3 -> hypothesis; __PROVED__
事実1: 仮にその徒刑が御固いならば転任する
事実2: 「もし仮にあの朝鮮動乱がカウンタ変数でないとしたらあの朝鮮動乱は通り難いしまたそれは牛肩ロース肉だ」ということは本当である
事実3: 「その徒刑は御固い」ということは本当である

仮説: その徒刑は転任する
1. 事実1と事実3から、仮説が導かれる

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