その行き付けはクロッキー帳だ
fact1: その行き付けは割れ難い fact2: その行き付けは割れ難いしクロッキー帳である fact3: 「仮にこの照り焼きソースがどす黒いとしたらその行き付けは割れ難い」ということは正しい
fact2 -> hypothesis;
fact2 -> hypothesis;
その行き付けはクロッキー帳でない
$facts$ = fact1: その行き付けは割れ難い fact2: その行き付けは割れ難いしクロッキー帳である fact3: 「仮にこの照り焼きソースがどす黒いとしたらその行き付けは割れ難い」ということは正しい ; $hypothesis$ = その行き付けはクロッキー帳だ ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: その行き付けは割れ難い
事実2: その行き付けは割れ難いしクロッキー帳である
事実3: 「仮にこの照り焼きソースがどす黒いとしたらその行き付けは割れ難い」ということは正しい

仮説: その行き付けはクロッキー帳だ
1. 事実2から、仮説が導かれる

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