この売却代金は弛くない
fact1: あの一昔は拡大し続けるしかつ進展する fact2: この売却代金は目まぐるしくてエンボス加工だ fact3: 仮にあの一昔が城攻めであるならこの売却代金は城攻めだ fact4: もしもなんらかの物は城攻めでないとすると「「それはエンボス加工であるけれど目まぐるしかない」ということは成り立つ」ということは成り立たない fact5: あの一昔は弛い fact6: この売却代金は目まぐるしい fact7: もしあの一昔がエンボス加工ならこの売却代金はエンボス加工である fact8: もしエンボス加工は城攻めであるとすると「弛いということはない」ということは確かだ fact9: あの一昔は城攻めだ
fact2 -> int1: この売却代金はエンボス加工である; fact9 & fact3 -> int2: この売却代金は城攻めである; int1 & int2 -> int3: この売却代金はエンボス加工であるしまた城攻めである; fact8 -> int4: もし仮にこの売却代金がエンボス加工だし城攻めであるとしたら弛くない; int3 & int4 -> hypothesis;
fact2 -> int1: {B}{a}; fact9 & fact3 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); fact8 -> int4: ({B}{a} & {C}{a}) -> ¬{D}{a}; int3 & int4 -> hypothesis;
この売却代金は弛い
fact10 -> int5: もしこの売却代金は城攻めでないならば「それがエンボス加工だし目まぐるしかない」ということは事実と異なる;
$facts$ = fact1: あの一昔は拡大し続けるしかつ進展する fact2: この売却代金は目まぐるしくてエンボス加工だ fact3: 仮にあの一昔が城攻めであるならこの売却代金は城攻めだ fact4: もしもなんらかの物は城攻めでないとすると「「それはエンボス加工であるけれど目まぐるしかない」ということは成り立つ」ということは成り立たない fact5: あの一昔は弛い fact6: この売却代金は目まぐるしい fact7: もしあの一昔がエンボス加工ならこの売却代金はエンボス加工である fact8: もしエンボス加工は城攻めであるとすると「弛いということはない」ということは確かだ fact9: あの一昔は城攻めだ ; $hypothesis$ = この売却代金は弛くない ; $proof$ = 
fact2 -> int1: この売却代金はエンボス加工である; fact9 & fact3 -> int2: この売却代金は城攻めである; int1 & int2 -> int3: この売却代金はエンボス加工であるしまた城攻めである; fact8 -> int4: もし仮にこの売却代金がエンボス加工だし城攻めであるとしたら弛くない; int3 & int4 -> hypothesis; __PROVED__
事実1: あの一昔は拡大し続けるしかつ進展する
事実2: この売却代金は目まぐるしくてエンボス加工だ
事実3: 仮にあの一昔が城攻めであるならこの売却代金は城攻めだ
事実4: もしもなんらかの物は城攻めでないとすると「「それはエンボス加工であるけれど目まぐるしかない」ということは成り立つ」ということは成り立たない
事実5: あの一昔は弛い
事実6: この売却代金は目まぐるしい
事実7: もしあの一昔がエンボス加工ならこの売却代金はエンボス加工である
事実8: もしエンボス加工は城攻めであるとすると「弛いということはない」ということは確かだ
事実9: あの一昔は城攻めだ

仮説: この売却代金は弛くない
1. 事実2から、推論1: "この売却代金はエンボス加工である"が導かれる
2. 事実9と事実3から、推論2: "この売却代金は城攻めである"が導かれる
3. 推論1と推論2から、推論3: "この売却代金はエンボス加工であるしまた城攻めである"が導かれる
4. 事実8から、推論4: "もし仮にこの売却代金がエンボス加工だし城攻めであるとしたら弛くない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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