その角觝塚は充実する
fact1: この武科は拡散するか馴染み易い fact2: もし仮にこの武科が拡散すればその角觝塚は充実する fact3: もしもこの武科が馴染み易いならばその角觝塚は充実する fact4: もし仮にその角觝塚は馴染み易いとすると「この武科は充実する」ということは本当だ fact5: その角觝塚は馴染み易いかそれは充実するか両方ともだ fact6: もし仮にこの武科が充実するとしたらその角觝塚は拡散する fact7: 「この武科は拡散しないけれどそれは充実する」ということは間違いであるとすると「その角觝塚は充実するということはない」ということは成り立つ
fact1 & fact2 & fact3 -> hypothesis;
fact1 & fact2 & fact3 -> hypothesis;
その角觝塚は充実しない
$facts$ = fact1: この武科は拡散するか馴染み易い fact2: もし仮にこの武科が拡散すればその角觝塚は充実する fact3: もしもこの武科が馴染み易いならばその角觝塚は充実する fact4: もし仮にその角觝塚は馴染み易いとすると「この武科は充実する」ということは本当だ fact5: その角觝塚は馴染み易いかそれは充実するか両方ともだ fact6: もし仮にこの武科が充実するとしたらその角觝塚は拡散する fact7: 「この武科は拡散しないけれどそれは充実する」ということは間違いであるとすると「その角觝塚は充実するということはない」ということは成り立つ ; $hypothesis$ = その角觝塚は充実する ; $proof$ = 
fact1 & fact2 & fact3 -> hypothesis; __PROVED__
事実1: この武科は拡散するか馴染み易い
事実2: もし仮にこの武科が拡散すればその角觝塚は充実する
事実3: もしもこの武科が馴染み易いならばその角觝塚は充実する
事実4: もし仮にその角觝塚は馴染み易いとすると「この武科は充実する」ということは本当だ
事実5: その角觝塚は馴染み易いかそれは充実するか両方ともだ
事実6: もし仮にこの武科が充実するとしたらその角觝塚は拡散する
事実7: 「この武科は拡散しないけれどそれは充実する」ということは間違いであるとすると「その角觝塚は充実するということはない」ということは成り立つ

仮説: その角觝塚は充実する
1. 事実1と事実2と事実3から、仮説が導かれる

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