「あの福祉・健康は遂行中でないしおまけに腫大しない」ということは間違いである
fact1: 「そのエンゼルプランは引き札である」ということは成り立つ fact2: もし仮になにがしかのものは化けであるとしたら「遂行中でないしおまけに手向けない」ということは成り立たない fact3: 「もしもその該当部分が化けならばあの福祉・健康は遂行中だということはないし更に腫大しない」ということは本当である fact4: 「うら若いということはない物は引き札であるし更に化けである」ということは確かだ fact5: そのエンゼルプランはうら若いということはないか消失しないかどちらもだとすると「その該当部分はうら若くない」ということは確かである fact6: もしもあの福祉・健康が遂行中でなくてそれが腫大しないとするとその該当部分は引き札でない fact7: もし「そのエンゼルプランは引き札でない」ということは真実でないなら「その該当部分は引き札である」ということは嘘でない fact8: もし仮にその該当部分が引き札であるしさらに化けであるとしたらあの福祉・健康は化けでない fact9: あの福祉・健康が化けであるということはないとしたらあの最大数は化けである
void -> assump1: 以下のように仮定する。あの福祉・健康は遂行中でないし腫大しない; fact6 & assump1 -> int1: その該当部分は引き札でない; fact1 & fact7 -> int2: その該当部分は引き札だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「あの最大数は遂行中であるということはなくて手向けない」ということは成り立たない
fact12 -> int4: 「あの最大数は化けだ」ということは正しいとすると「それは遂行中でないし更に手向けない」ということは成り立たない;
$facts$ = fact1: 「そのエンゼルプランは引き札である」ということは成り立つ fact2: もし仮になにがしかのものは化けであるとしたら「遂行中でないしおまけに手向けない」ということは成り立たない fact3: 「もしもその該当部分が化けならばあの福祉・健康は遂行中だということはないし更に腫大しない」ということは本当である fact4: 「うら若いということはない物は引き札であるし更に化けである」ということは確かだ fact5: そのエンゼルプランはうら若いということはないか消失しないかどちらもだとすると「その該当部分はうら若くない」ということは確かである fact6: もしもあの福祉・健康が遂行中でなくてそれが腫大しないとするとその該当部分は引き札でない fact7: もし「そのエンゼルプランは引き札でない」ということは真実でないなら「その該当部分は引き札である」ということは嘘でない fact8: もし仮にその該当部分が引き札であるしさらに化けであるとしたらあの福祉・健康は化けでない fact9: あの福祉・健康が化けであるということはないとしたらあの最大数は化けである ; $hypothesis$ = 「あの福祉・健康は遂行中でないしおまけに腫大しない」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの福祉・健康は遂行中でないし腫大しない; fact6 & assump1 -> int1: その該当部分は引き札でない; fact1 & fact7 -> int2: その該当部分は引き札だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「そのエンゼルプランは引き札である」ということは成り立つ
事実2: もし仮になにがしかのものは化けであるとしたら「遂行中でないしおまけに手向けない」ということは成り立たない
事実3: 「もしもその該当部分が化けならばあの福祉・健康は遂行中だということはないし更に腫大しない」ということは本当である
事実4: 「うら若いということはない物は引き札であるし更に化けである」ということは確かだ
事実5: そのエンゼルプランはうら若いということはないか消失しないかどちらもだとすると「その該当部分はうら若くない」ということは確かである
事実6: もしもあの福祉・健康が遂行中でなくてそれが腫大しないとするとその該当部分は引き札でない
事実7: もし「そのエンゼルプランは引き札でない」ということは真実でないなら「その該当部分は引き札である」ということは嘘でない
事実8: もし仮にその該当部分が引き札であるしさらに化けであるとしたらあの福祉・健康は化けでない
事実9: あの福祉・健康が化けであるということはないとしたらあの最大数は化けである

仮説: 「あの福祉・健康は遂行中でないしおまけに腫大しない」ということは間違いである
1. 仮定1: 以下のように仮定する。あの福祉・健康は遂行中でないし腫大しない
2. 事実6と仮定1から、推論1: "その該当部分は引き札でない"が導かれる
3. 事実1と事実7から、推論2: "その該当部分は引き札だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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