この容積率は飼育であるしかつそれは御し易い
fact1: 仮にあの寸詰まり気味は特別約款だが輝かしないとすればそれは飼育でない fact2: もし仮にその定立は一年未満でそれに特別約款であるとすればそれは補完出来ない fact3: もし仮にこの容積率が御し易くないならばあの寸詰まり気味は御し易くて加えて特別約款だ fact4: この容積率は特別約款だ fact5: もし仮に「この容積率は輝かしない」ということは本当だとすればあの寸詰まり気味は輝かししまたそれは飼育だ fact6: 「あの寸詰まり気味は製作出来る」ということは確かである fact7: もしもこの容積率は特別約款でないとしたら「あの寸詰まり気味は特別約款であるしさらに飼育だ」ということは成り立つ fact8: 仮にあの寸詰まり気味が飼育であるが特別約款でないならそれは御し易くない fact9: その小康状態が集うとするとこの端緒範疇は汎化する fact10: もしその小康状態が排日だということはないとするとそれはがじゅまるであるしさらにそれは集う fact11: この容積率は飼育で特別約款だ fact12: この容積率は青酎でない fact13: このＬＮは平沼枢密院議長であるけれど一年未満でない fact14: あの寸詰まり気味は特別約款で御し易い fact15: あの寸詰まり気味は特別約款だけど輝かしない fact16: あのエネルギーコストは倹しかない fact17: 「この容積率は真っ白くない」ということは確かである fact18: もしもその小康状態が赤みはからないが軽しとしたらそれは排日でない fact19: あの寸詰まり気味が飼育でないとすればこの容積率は飼育であるしそれに特別約款だ fact20: 仮に「あのエネルギーコストは倹しかない」ということは成り立つとするとこの端緒範疇はもうするし加えて生成し易い fact21: 仮にあの寸詰まり気味が飼育でないならこの容積率は飼育であるしまた御し易い fact22: その小康状態が赤みはからないがしかし軽し fact23: もしこの容積率が特別約款でないとすればあの寸詰まり気味は飼育である
fact1 & fact15 -> int1: あの寸詰まり気味は飼育でない; int1 & fact21 -> hypothesis;
fact1 & fact15 -> int1: ¬{B}{a}; int1 & fact21 -> hypothesis;
「この容積率は飼育でその上御し易い」ということは成り立つということはない
fact25 & fact28 -> int2: その小康状態は排日でない; fact26 & int2 -> int3: その小康状態はがじゅまるでそれは集う; int3 -> int4: その小康状態は集う; fact24 & int4 -> int5: この端緒範疇は汎化する; fact29 & fact27 -> int6: 「この端緒範疇はもうするしおまけに生成し易い」ということは成り立つ; int6 -> int7: この端緒範疇は生成し易い; int5 & int7 -> int8: この端緒範疇は汎化するし生成し易い; int8 -> int9: 「汎化するし生成し易い」物はある;
$facts$ = fact1: 仮にあの寸詰まり気味は特別約款だが輝かしないとすればそれは飼育でない fact2: もし仮にその定立は一年未満でそれに特別約款であるとすればそれは補完出来ない fact3: もし仮にこの容積率が御し易くないならばあの寸詰まり気味は御し易くて加えて特別約款だ fact4: この容積率は特別約款だ fact5: もし仮に「この容積率は輝かしない」ということは本当だとすればあの寸詰まり気味は輝かししまたそれは飼育だ fact6: 「あの寸詰まり気味は製作出来る」ということは確かである fact7: もしもこの容積率は特別約款でないとしたら「あの寸詰まり気味は特別約款であるしさらに飼育だ」ということは成り立つ fact8: 仮にあの寸詰まり気味が飼育であるが特別約款でないならそれは御し易くない fact9: その小康状態が集うとするとこの端緒範疇は汎化する fact10: もしその小康状態が排日だということはないとするとそれはがじゅまるであるしさらにそれは集う fact11: この容積率は飼育で特別約款だ fact12: この容積率は青酎でない fact13: このＬＮは平沼枢密院議長であるけれど一年未満でない fact14: あの寸詰まり気味は特別約款で御し易い fact15: あの寸詰まり気味は特別約款だけど輝かしない fact16: あのエネルギーコストは倹しかない fact17: 「この容積率は真っ白くない」ということは確かである fact18: もしもその小康状態が赤みはからないが軽しとしたらそれは排日でない fact19: あの寸詰まり気味が飼育でないとすればこの容積率は飼育であるしそれに特別約款だ fact20: 仮に「あのエネルギーコストは倹しかない」ということは成り立つとするとこの端緒範疇はもうするし加えて生成し易い fact21: 仮にあの寸詰まり気味が飼育でないならこの容積率は飼育であるしまた御し易い fact22: その小康状態が赤みはからないがしかし軽し fact23: もしこの容積率が特別約款でないとすればあの寸詰まり気味は飼育である ; $hypothesis$ = この容積率は飼育であるしかつそれは御し易い ; $proof$ = 
fact1 & fact15 -> int1: あの寸詰まり気味は飼育でない; int1 & fact21 -> hypothesis; __PROVED__
事実1: 仮にあの寸詰まり気味は特別約款だが輝かしないとすればそれは飼育でない
事実2: もし仮にその定立は一年未満でそれに特別約款であるとすればそれは補完出来ない
事実3: もし仮にこの容積率が御し易くないならばあの寸詰まり気味は御し易くて加えて特別約款だ
事実4: この容積率は特別約款だ
事実5: もし仮に「この容積率は輝かしない」ということは本当だとすればあの寸詰まり気味は輝かししまたそれは飼育だ
事実6: 「あの寸詰まり気味は製作出来る」ということは確かである
事実7: もしもこの容積率は特別約款でないとしたら「あの寸詰まり気味は特別約款であるしさらに飼育だ」ということは成り立つ
事実8: 仮にあの寸詰まり気味が飼育であるが特別約款でないならそれは御し易くない
事実9: その小康状態が集うとするとこの端緒範疇は汎化する
事実10: もしその小康状態が排日だということはないとするとそれはがじゅまるであるしさらにそれは集う
事実11: この容積率は飼育で特別約款だ
事実12: この容積率は青酎でない
事実13: このＬＮは平沼枢密院議長であるけれど一年未満でない
事実14: あの寸詰まり気味は特別約款で御し易い
事実15: あの寸詰まり気味は特別約款だけど輝かしない
事実16: あのエネルギーコストは倹しかない
事実17: 「この容積率は真っ白くない」ということは確かである
事実18: もしもその小康状態が赤みはからないが軽しとしたらそれは排日でない
事実19: あの寸詰まり気味が飼育でないとすればこの容積率は飼育であるしそれに特別約款だ
事実20: 仮に「あのエネルギーコストは倹しかない」ということは成り立つとするとこの端緒範疇はもうするし加えて生成し易い
事実21: 仮にあの寸詰まり気味が飼育でないならこの容積率は飼育であるしまた御し易い
事実22: その小康状態が赤みはからないがしかし軽し
事実23: もしこの容積率が特別約款でないとすればあの寸詰まり気味は飼育である

仮説: この容積率は飼育であるしかつそれは御し易い
1. 事実1と事実15から、推論1: "あの寸詰まり気味は飼育でない"が導かれる
2. 推論1と事実21から、仮説が導かれる

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