「この方途は意味深いということはない」ということは成り立つ
fact1: この方途は並べ代える fact2: もしもこの方途が並べ代えればそれは意味深い fact3: この樹皮は並べ代える
$facts$ = fact1: この方途は並べ代える fact2: もしもこの方途が並べ代えればそれは意味深い fact3: この樹皮は並べ代える ; $hypothesis$ = 「この方途は意味深いということはない」ということは成り立つ ; $proof$ = 
事実1: この方途は並べ代える
事実2: もしもこの方途が並べ代えればそれは意味深い
事実3: この樹皮は並べ代える

仮説: 「この方途は意味深いということはない」ということは成り立つ