もし仮にあの見方はメンチカツでない一方でひくひくするとすると「シュガーペーストである」ということは成り立つ
fact1: あの見方はメンチカツであるしひくひくするならそれはシュガーペーストである fact2: メンチカツがひくひくするならそれはシュガーペーストだ fact3: なにかはメンチカツでないがしかしひくひくするとしたらそれはシュガーペーストである
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: あの見方はメンチカツであるしひくひくするならそれはシュガーペーストである fact2: メンチカツがひくひくするならそれはシュガーペーストだ fact3: なにかはメンチカツでないがしかしひくひくするとしたらそれはシュガーペーストである ; $hypothesis$ = もし仮にあの見方はメンチカツでない一方でひくひくするとすると「シュガーペーストである」ということは成り立つ ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: あの見方はメンチカツであるしひくひくするならそれはシュガーペーストである
事実2: メンチカツがひくひくするならそれはシュガーペーストだ
事実3: なにかはメンチカツでないがしかしひくひくするとしたらそれはシュガーペーストである

仮説: もし仮にあの見方はメンチカツでない一方でひくひくするとすると「シュガーペーストである」ということは成り立つ
1. 事実3から、仮説が導かれる

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