この御手鑑は大高坂城である
fact1: もしもこの御手鑑が入浴後であるけれどそれが長ったらしくないとすればこの医療分野は長ったらしくない fact2: もしこの御手鑑が大高坂城でないとしたらその東雲はエポキシ樹脂でない fact3: その東雲はエポキシ樹脂でない fact4: 解け易くない物はエポキシ樹脂だがしかし大高坂城でない fact5: この御手鑑が大高坂城だということはないならばその東雲はエポキシ樹脂でなくてその上それは割烹着だということはない fact6: 仮にその東雲がエポキシ樹脂だということはないしさらにそれが割烹着でないとするとあの人材開発は解け易くない fact7: もし仮にその東雲がエポキシ樹脂であるけれど割烹着でないならあの人材開発は解け易くない fact8: もし何かは長ったらしいということはないならそれは解け易くない fact9: あの人材開発は長ったらしくて入浴後だ fact10: 長ったらしい物は解け易い fact11: 「その東雲は低所得でないし加えて香ばしかない」ということは成り立たない fact12: この不気味は大高坂城だ fact13: あの人材開発は入浴後である fact14: 来難いものは入浴後だけど長ったらしくない
void -> assump1: 以下のように仮定する。この御手鑑は大高坂城でない; fact5 & assump1 -> int1: その東雲はエポキシ樹脂でなくて割烹着でない; int1 & fact6 -> int2: あの人材開発は解け易くない; fact10 -> int3: あの人材開発が長ったらしいならば解け易い; fact9 -> int4: あの人材開発は長ったらしい; int3 & int4 -> int5: あの人材開発は解け易い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
この医療分野はエポキシ樹脂である
fact18 -> int7: もしもこの医療分野が解け易くないとしたらエポキシ樹脂であるし更に大高坂城でない; fact19 -> int8: もしこの医療分野が長ったらしくないとすればそれは解け易くない; fact16 -> int9: もしもこの御手鑑が来難いとしたら入浴後である一方で長ったらしくない; fact15 -> int10: 「「低所得でないしまた香ばしかない」ということは誤っている」物はある;
$facts$ = fact1: もしもこの御手鑑が入浴後であるけれどそれが長ったらしくないとすればこの医療分野は長ったらしくない fact2: もしこの御手鑑が大高坂城でないとしたらその東雲はエポキシ樹脂でない fact3: その東雲はエポキシ樹脂でない fact4: 解け易くない物はエポキシ樹脂だがしかし大高坂城でない fact5: この御手鑑が大高坂城だということはないならばその東雲はエポキシ樹脂でなくてその上それは割烹着だということはない fact6: 仮にその東雲がエポキシ樹脂だということはないしさらにそれが割烹着でないとするとあの人材開発は解け易くない fact7: もし仮にその東雲がエポキシ樹脂であるけれど割烹着でないならあの人材開発は解け易くない fact8: もし何かは長ったらしいということはないならそれは解け易くない fact9: あの人材開発は長ったらしくて入浴後だ fact10: 長ったらしい物は解け易い fact11: 「その東雲は低所得でないし加えて香ばしかない」ということは成り立たない fact12: この不気味は大高坂城だ fact13: あの人材開発は入浴後である fact14: 来難いものは入浴後だけど長ったらしくない ; $hypothesis$ = この御手鑑は大高坂城である ; $proof$ = 
void -> assump1: 以下のように仮定する。この御手鑑は大高坂城でない; fact5 & assump1 -> int1: その東雲はエポキシ樹脂でなくて割烹着でない; int1 & fact6 -> int2: あの人材開発は解け易くない; fact10 -> int3: あの人材開発が長ったらしいならば解け易い; fact9 -> int4: あの人材開発は長ったらしい; int3 & int4 -> int5: あの人材開発は解け易い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もしもこの御手鑑が入浴後であるけれどそれが長ったらしくないとすればこの医療分野は長ったらしくない
事実2: もしこの御手鑑が大高坂城でないとしたらその東雲はエポキシ樹脂でない
事実3: その東雲はエポキシ樹脂でない
事実4: 解け易くない物はエポキシ樹脂だがしかし大高坂城でない
事実5: この御手鑑が大高坂城だということはないならばその東雲はエポキシ樹脂でなくてその上それは割烹着だということはない
事実6: 仮にその東雲がエポキシ樹脂だということはないしさらにそれが割烹着でないとするとあの人材開発は解け易くない
事実7: もし仮にその東雲がエポキシ樹脂であるけれど割烹着でないならあの人材開発は解け易くない
事実8: もし何かは長ったらしいということはないならそれは解け易くない
事実9: あの人材開発は長ったらしくて入浴後だ
事実10: 長ったらしい物は解け易い
事実11: 「その東雲は低所得でないし加えて香ばしかない」ということは成り立たない
事実12: この不気味は大高坂城だ
事実13: あの人材開発は入浴後である
事実14: 来難いものは入浴後だけど長ったらしくない

仮説: この御手鑑は大高坂城である
1. 仮定1: 以下のように仮定する。この御手鑑は大高坂城でない
2. 事実5と仮定1から、推論1: "その東雲はエポキシ樹脂でなくて割烹着でない"が導かれる
3. 推論1と事実6から、推論2: "あの人材開発は解け易くない"が導かれる
4. 事実10から、推論3: "あの人材開発が長ったらしいならば解け易い"が導かれる
5. 事実9から、推論4: "あの人材開発は長ったらしい"が導かれる
6. 推論3と推論4から、推論5: "あの人材開発は解け易い"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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