この宗祖は大きいが回りくどいということはない
fact1: もしもなんらかのものは根差せば「それは答え難い」ということは成り立つ fact2: もしも「その係属部は回りくどい」ということは事実だとするとこの宗祖は根差す fact3: もし仮にその蒙古人が通り難いとするとその係属部は番町絵図だ fact4: 「その蒙古人は通り難いかもしくは答え難いかあるいは両方ともだ」ということは成り立つ fact5: もしもその係属部は根差すとすると「この宗祖は大きい」ということは確かである fact6: 「この宗祖は通り難い」ということは成り立つ fact7: もしその係属部が根差せばこの宗祖は大きいけれどそれは回りくどくない fact8: その節穴は低年齢児であるけどそれは答え難くない fact9: もしその係属部が通り難いならその蒙古人は番町絵図である fact10: もしある物は番町絵図ならば「それは通り難くないが答え難い」ということは成り立たない fact11: もし仮にその係属部は答え難いなら「その蒙古人は番町絵図だ」ということは真実である fact12: その蒙古人が根差すならばあの係属部は通り難い fact13: この宗祖は大きいけれど答え難くない fact14: もしもなにがしかのものが駆け上るとすると惜しみ無い fact15: その蒙古人が答え難いとするとその係属部は番町絵図である fact16: 番町絵図は根差す fact17: この宗祖は大きい
fact4 & fact3 & fact15 -> int1: その係属部は番町絵図だ; fact16 -> int2: もし「その係属部は番町絵図だ」ということは真実だとしたらそれは根差す; int1 & int2 -> int3: その係属部は根差す; int3 & fact7 -> hypothesis;
「この宗祖は大きいけど回りくどくない」ということは成り立たない
fact18 -> int4: この宗祖は番町絵図だとすれば「それは通り難いということはないけれど答え難い」ということは誤っている;
$facts$ = fact1: もしもなんらかのものは根差せば「それは答え難い」ということは成り立つ fact2: もしも「その係属部は回りくどい」ということは事実だとするとこの宗祖は根差す fact3: もし仮にその蒙古人が通り難いとするとその係属部は番町絵図だ fact4: 「その蒙古人は通り難いかもしくは答え難いかあるいは両方ともだ」ということは成り立つ fact5: もしもその係属部は根差すとすると「この宗祖は大きい」ということは確かである fact6: 「この宗祖は通り難い」ということは成り立つ fact7: もしその係属部が根差せばこの宗祖は大きいけれどそれは回りくどくない fact8: その節穴は低年齢児であるけどそれは答え難くない fact9: もしその係属部が通り難いならその蒙古人は番町絵図である fact10: もしある物は番町絵図ならば「それは通り難くないが答え難い」ということは成り立たない fact11: もし仮にその係属部は答え難いなら「その蒙古人は番町絵図だ」ということは真実である fact12: その蒙古人が根差すならばあの係属部は通り難い fact13: この宗祖は大きいけれど答え難くない fact14: もしもなにがしかのものが駆け上るとすると惜しみ無い fact15: その蒙古人が答え難いとするとその係属部は番町絵図である fact16: 番町絵図は根差す fact17: この宗祖は大きい ; $hypothesis$ = この宗祖は大きいが回りくどいということはない ; $proof$ = 
fact4 & fact3 & fact15 -> int1: その係属部は番町絵図だ; fact16 -> int2: もし「その係属部は番町絵図だ」ということは真実だとしたらそれは根差す; int1 & int2 -> int3: その係属部は根差す; int3 & fact7 -> hypothesis; __PROVED__
事実1: もしもなんらかのものは根差せば「それは答え難い」ということは成り立つ
事実2: もしも「その係属部は回りくどい」ということは事実だとするとこの宗祖は根差す
事実3: もし仮にその蒙古人が通り難いとするとその係属部は番町絵図だ
事実4: 「その蒙古人は通り難いかもしくは答え難いかあるいは両方ともだ」ということは成り立つ
事実5: もしもその係属部は根差すとすると「この宗祖は大きい」ということは確かである
事実6: 「この宗祖は通り難い」ということは成り立つ
事実7: もしその係属部が根差せばこの宗祖は大きいけれどそれは回りくどくない
事実8: その節穴は低年齢児であるけどそれは答え難くない
事実9: もしその係属部が通り難いならその蒙古人は番町絵図である
事実10: もしある物は番町絵図ならば「それは通り難くないが答え難い」ということは成り立たない
事実11: もし仮にその係属部は答え難いなら「その蒙古人は番町絵図だ」ということは真実である
事実12: その蒙古人が根差すならばあの係属部は通り難い
事実13: この宗祖は大きいけれど答え難くない
事実14: もしもなにがしかのものが駆け上るとすると惜しみ無い
事実15: その蒙古人が答え難いとするとその係属部は番町絵図である
事実16: 番町絵図は根差す
事実17: この宗祖は大きい

仮説: この宗祖は大きいが回りくどいということはない
1. 事実4と事実3と事実15から、推論1: "その係属部は番町絵図だ"が導かれる
2. 事実16から、推論2: "もし「その係属部は番町絵図だ」ということは真実だとしたらそれは根差す"が導かれる
3. 推論1と推論2から、推論3: "その係属部は根差す"が導かれる
4. 推論3と事実7から、仮説が導かれる

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