あのしゃぶしゃぶは覚え易い
fact1: もしもあの米援が殺戮者ならあのしゃぶしゃぶは覚え易いということはないし臥さない fact2: あのしゃぶしゃぶは覚え易くて加えて臥す fact3: なにがしかのものは臥せば「覚え易い」ということは事実だ
fact2 -> hypothesis;
fact2 -> hypothesis;
あのしゃぶしゃぶは覚え易くない
$facts$ = fact1: もしもあの米援が殺戮者ならあのしゃぶしゃぶは覚え易いということはないし臥さない fact2: あのしゃぶしゃぶは覚え易くて加えて臥す fact3: なにがしかのものは臥せば「覚え易い」ということは事実だ ; $hypothesis$ = あのしゃぶしゃぶは覚え易い ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしもあの米援が殺戮者ならあのしゃぶしゃぶは覚え易いということはないし臥さない
事実2: あのしゃぶしゃぶは覚え易くて加えて臥す
事実3: なにがしかのものは臥せば「覚え易い」ということは事実だ

仮説: あのしゃぶしゃぶは覚え易い
1. 事実2から、仮説が導かれる

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