この踵腓靱帯は呼び掛ける
fact1: 「この踵腓靱帯はエルフだし詐称する」ということは嘘でない fact2: ローカルスーパーが素早いとしたらこの踵腓靱帯は呼び掛ける fact3: そのアーモンド形は素早い fact4: なにがしかのものはローカルスーパーだ fact5: そのアーモンド形はローカルスーパーである
fact5 & fact3 -> int1: そのアーモンド形はローカルスーパーで素早い; int1 -> int2: あるものはローカルスーパーであるしそれに素早い; int2 & fact2 -> hypothesis;
$facts$ = fact1: 「この踵腓靱帯はエルフだし詐称する」ということは嘘でない fact2: ローカルスーパーが素早いとしたらこの踵腓靱帯は呼び掛ける fact3: そのアーモンド形は素早い fact4: なにがしかのものはローカルスーパーだ fact5: そのアーモンド形はローカルスーパーである ; $hypothesis$ = この踵腓靱帯は呼び掛ける ; $proof$ = 
fact5 & fact3 -> int1: そのアーモンド形はローカルスーパーで素早い; int1 -> int2: あるものはローカルスーパーであるしそれに素早い; int2 & fact2 -> hypothesis; __PROVED__
事実1: 「この踵腓靱帯はエルフだし詐称する」ということは嘘でない
事実2: ローカルスーパーが素早いとしたらこの踵腓靱帯は呼び掛ける
事実3: そのアーモンド形は素早い
事実4: なにがしかのものはローカルスーパーだ
事実5: そのアーモンド形はローカルスーパーである

仮説: この踵腓靱帯は呼び掛ける
1. 事実5と事実3から、推論1: "そのアーモンド形はローカルスーパーで素早い"が導かれる
2. 推論1から、推論2: "あるものはローカルスーパーであるしそれに素早い"が導かれる
3. 推論2と事実2から、仮説が導かれる

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