その成果向上努力はレイでない
fact1: もしもこの御意が見難いがしかし知り難くないとするとその成果向上努力はレイでない fact2: この御意は見難い一方で知り難くない fact3: もしもあるものが先鋒大将だとするとそれはレイだ
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
その成果向上努力はレイだ
fact4 -> int1: もし仮にその成果向上努力が先鋒大将ならばそれはレイである;
$facts$ = fact1: もしもこの御意が見難いがしかし知り難くないとするとその成果向上努力はレイでない fact2: この御意は見難い一方で知り難くない fact3: もしもあるものが先鋒大将だとするとそれはレイだ ; $hypothesis$ = その成果向上努力はレイでない ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: もしもこの御意が見難いがしかし知り難くないとするとその成果向上努力はレイでない
事実2: この御意は見難い一方で知り難くない
事実3: もしもあるものが先鋒大将だとするとそれはレイだ

仮説: その成果向上努力はレイでない
1. 事実1と事実2から、仮説が導かれる

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