この基本的態度は末恐ろしくない
fact1: その古銭は解放出来る fact2: 「寡占する」ものはある fact3: もし仮に「応じ得るということはないし加えて売り上げ債権でない」物があればその古銭は決定付けない fact4: 「集団間でないしかつ逆襲する」物はある fact5: 「解放出来る」ものはある fact6: 「「末恐ろしくない」ということは事実な」物はある fact7: 「末恐ろしいし解放出来ない」ものはある fact8: 「末恐ろしい」物はある fact9: その古銭は気高い fact10: 「解放出来ないけど末恐ろしい」ものはある fact11: 仮に末恐ろしくないものが決定付けるということはないならこの基本的態度は解放出来ない fact12: 何かは応じ得ないし売り上げ債権でない fact13: 「「決定付けるということはない」ということは真実である」物はある fact14: もし仮に「応じ得るということはなくて売り上げ債権な」物はあるとすると「その古銭は決定付けない」ということは本当だ fact15: 御詳しいということはない物はある fact16: この基本的態度は応じ得る fact17: 「仕出す」ものはある fact18: この大判は末恐ろしくないけれど保持す fact19: 仮に何かは決定付けないがしかし解放出来ればこの基本的態度は末恐ろしいということはない
fact12 & fact3 -> int1: その古銭は決定付けない; int1 & fact1 -> int2: その古銭は決定付けるということはないがしかしそれは解放出来る; int2 -> int3: 「決定付けないしさらに解放出来る」ものはある; int3 & fact19 -> hypothesis;
$facts$ = fact1: その古銭は解放出来る fact2: 「寡占する」ものはある fact3: もし仮に「応じ得るということはないし加えて売り上げ債権でない」物があればその古銭は決定付けない fact4: 「集団間でないしかつ逆襲する」物はある fact5: 「解放出来る」ものはある fact6: 「「末恐ろしくない」ということは事実な」物はある fact7: 「末恐ろしいし解放出来ない」ものはある fact8: 「末恐ろしい」物はある fact9: その古銭は気高い fact10: 「解放出来ないけど末恐ろしい」ものはある fact11: 仮に末恐ろしくないものが決定付けるということはないならこの基本的態度は解放出来ない fact12: 何かは応じ得ないし売り上げ債権でない fact13: 「「決定付けるということはない」ということは真実である」物はある fact14: もし仮に「応じ得るということはなくて売り上げ債権な」物はあるとすると「その古銭は決定付けない」ということは本当だ fact15: 御詳しいということはない物はある fact16: この基本的態度は応じ得る fact17: 「仕出す」ものはある fact18: この大判は末恐ろしくないけれど保持す fact19: 仮に何かは決定付けないがしかし解放出来ればこの基本的態度は末恐ろしいということはない ; $hypothesis$ = この基本的態度は末恐ろしくない ; $proof$ = 
fact12 & fact3 -> int1: その古銭は決定付けない; int1 & fact1 -> int2: その古銭は決定付けるということはないがしかしそれは解放出来る; int2 -> int3: 「決定付けないしさらに解放出来る」ものはある; int3 & fact19 -> hypothesis; __PROVED__
事実1: その古銭は解放出来る
事実2: 「寡占する」ものはある
事実3: もし仮に「応じ得るということはないし加えて売り上げ債権でない」物があればその古銭は決定付けない
事実4: 「集団間でないしかつ逆襲する」物はある
事実5: 「解放出来る」ものはある
事実6: 「「末恐ろしくない」ということは事実な」物はある
事実7: 「末恐ろしいし解放出来ない」ものはある
事実8: 「末恐ろしい」物はある
事実9: その古銭は気高い
事実10: 「解放出来ないけど末恐ろしい」ものはある
事実11: 仮に末恐ろしくないものが決定付けるということはないならこの基本的態度は解放出来ない
事実12: 何かは応じ得ないし売り上げ債権でない
事実13: 「「決定付けるということはない」ということは真実である」物はある
事実14: もし仮に「応じ得るということはなくて売り上げ債権な」物はあるとすると「その古銭は決定付けない」ということは本当だ
事実15: 御詳しいということはない物はある
事実16: この基本的態度は応じ得る
事実17: 「仕出す」ものはある
事実18: この大判は末恐ろしくないけれど保持す
事実19: 仮に何かは決定付けないがしかし解放出来ればこの基本的態度は末恐ろしいということはない

仮説: この基本的態度は末恐ろしくない
1. 事実12と事実3から、推論1: "その古銭は決定付けない"が導かれる
2. 推論1と事実1から、推論2: "その古銭は決定付けるということはないがしかしそれは解放出来る"が導かれる
3. 推論2から、推論3: "「決定付けないしさらに解放出来る」ものはある"が導かれる
4. 推論3と事実19から、仮説が導かれる

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