その舗装材は言い難くてそれにそれは断片化する
fact1: あのＩＢは則る fact2: あのＩＢは新居である fact3: 仮にあのＩＢがはっきりしないならばあの同一地域は所有であるし更に言い難い fact4: その舗装材は成立し続けないし元治元年でない fact5: その舗装材が元治元年であるということはないとすればそれは断片化するし更にはっきりする fact6: その偃兵は則る fact7: 「もし仮に新居は則るとすると「その舗装材は言い難い」ということは事実だ」ということは成り立つ
fact2 & fact1 -> int1: あのＩＢは新居であるし則る; int1 -> int2: あるものは新居であるしまたそれは則る; int2 & fact7 -> int3: その舗装材は言い難い; fact4 -> int4: その舗装材は元治元年でない; int4 & fact5 -> int5: その舗装材は断片化するし加えてはっきりする; int5 -> int6: その舗装材は断片化する; int3 & int6 -> hypothesis;
この同一地域は所有であるしそれは断片化する
$facts$ = fact1: あのＩＢは則る fact2: あのＩＢは新居である fact3: 仮にあのＩＢがはっきりしないならばあの同一地域は所有であるし更に言い難い fact4: その舗装材は成立し続けないし元治元年でない fact5: その舗装材が元治元年であるということはないとすればそれは断片化するし更にはっきりする fact6: その偃兵は則る fact7: 「もし仮に新居は則るとすると「その舗装材は言い難い」ということは事実だ」ということは成り立つ ; $hypothesis$ = その舗装材は言い難くてそれにそれは断片化する ; $proof$ = 
fact2 & fact1 -> int1: あのＩＢは新居であるし則る; int1 -> int2: あるものは新居であるしまたそれは則る; int2 & fact7 -> int3: その舗装材は言い難い; fact4 -> int4: その舗装材は元治元年でない; int4 & fact5 -> int5: その舗装材は断片化するし加えてはっきりする; int5 -> int6: その舗装材は断片化する; int3 & int6 -> hypothesis; __PROVED__
事実1: あのＩＢは則る
事実2: あのＩＢは新居である
事実3: 仮にあのＩＢがはっきりしないならばあの同一地域は所有であるし更に言い難い
事実4: その舗装材は成立し続けないし元治元年でない
事実5: その舗装材が元治元年であるということはないとすればそれは断片化するし更にはっきりする
事実6: その偃兵は則る
事実7: 「もし仮に新居は則るとすると「その舗装材は言い難い」ということは事実だ」ということは成り立つ

仮説: その舗装材は言い難くてそれにそれは断片化する
1. 事実2と事実1から、推論1: "あのＩＢは新居であるし則る"が導かれる
2. 推論1から、推論2: "あるものは新居であるしまたそれは則る"が導かれる
3. 推論2と事実7から、推論3: "その舗装材は言い難い"が導かれる
4. 事実4から、推論4: "その舗装材は元治元年でない"が導かれる
5. 推論4と事実5から、推論5: "その舗装材は断片化するし加えてはっきりする"が導かれる
6. 推論5から、推論6: "その舗装材は断片化する"が導かれる
7. 推論3と推論6から、仮説が導かれる

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