あの住民サイドは利得である
fact1: 「あの住民サイドは抗議するということはないが尽きする」ということは成り立たない fact2: そのストック計算は低し fact3: もし仮にこの肺動脈弁は尽きするとしたら「あの住民サイドは一パーセント以内であるということはなくてかつ低しない」ということは嘘である fact4: もしも「この肺動脈弁は懐かしけれど免れ難くない」ということは成り立たないとすればそれは一パーセント以内だ fact5: この肺動脈弁は免れ難くない fact6: 「この肺動脈弁は懐かししそれは抗議する」ということは成り立たない fact7: もしもこの肺動脈弁が懐かしけれど免れ難くないならばあのストック計算は低しない fact8: 「あの住民サイドは抗議するがしかし尽きしない」ということは嘘である fact9: この肺動脈弁が免れ難いとしたら一パーセント以内だ fact10: もし「あの住民サイドは抗議しないし更にそれは尽きしない」ということは嘘であるならそれは利得である fact11: もしこの肺動脈弁は一パーセント以内であるとすると「あの住民サイドは抗議しなくてしかも尽きしない」ということは誤りである fact12: この肺動脈弁は一パーセント以内であるならば「あの住民サイドは抗議するけど尽きしない」ということは間違いだ fact13: 「あの住民サイドは懐かしないしそれは利得でない」ということは成り立たないとしたらそれは一パーセント以内である fact14: 仮に「この肺動脈弁は利得であるしさらに低し」ということは誤りならばあの住民サイドは利得でない
void -> assump1: 以下のように仮定する。この肺動脈弁は懐かしが免れ難いということはない; fact7 & assump1 -> int1: そのストック計算は低しない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この肺動脈弁は懐かしが免れ難くない」ということは誤りである; int3 & fact4 -> int4: この肺動脈弁は一パーセント以内だ; int4 & fact11 -> int5: 「あの住民サイドは抗議しないし尽きしない」ということは事実と異なる; int5 & fact10 -> hypothesis;
あの住民サイドは利得でない
$facts$ = fact1: 「あの住民サイドは抗議するということはないが尽きする」ということは成り立たない fact2: そのストック計算は低し fact3: もし仮にこの肺動脈弁は尽きするとしたら「あの住民サイドは一パーセント以内であるということはなくてかつ低しない」ということは嘘である fact4: もしも「この肺動脈弁は懐かしけれど免れ難くない」ということは成り立たないとすればそれは一パーセント以内だ fact5: この肺動脈弁は免れ難くない fact6: 「この肺動脈弁は懐かししそれは抗議する」ということは成り立たない fact7: もしもこの肺動脈弁が懐かしけれど免れ難くないならばあのストック計算は低しない fact8: 「あの住民サイドは抗議するがしかし尽きしない」ということは嘘である fact9: この肺動脈弁が免れ難いとしたら一パーセント以内だ fact10: もし「あの住民サイドは抗議しないし更にそれは尽きしない」ということは嘘であるならそれは利得である fact11: もしこの肺動脈弁は一パーセント以内であるとすると「あの住民サイドは抗議しなくてしかも尽きしない」ということは誤りである fact12: この肺動脈弁は一パーセント以内であるならば「あの住民サイドは抗議するけど尽きしない」ということは間違いだ fact13: 「あの住民サイドは懐かしないしそれは利得でない」ということは成り立たないとしたらそれは一パーセント以内である fact14: 仮に「この肺動脈弁は利得であるしさらに低し」ということは誤りならばあの住民サイドは利得でない ; $hypothesis$ = あの住民サイドは利得である ; $proof$ = 
void -> assump1: 以下のように仮定する。この肺動脈弁は懐かしが免れ難いということはない; fact7 & assump1 -> int1: そのストック計算は低しない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この肺動脈弁は懐かしが免れ難くない」ということは誤りである; int3 & fact4 -> int4: この肺動脈弁は一パーセント以内だ; int4 & fact11 -> int5: 「あの住民サイドは抗議しないし尽きしない」ということは事実と異なる; int5 & fact10 -> hypothesis; __PROVED__
事実1: 「あの住民サイドは抗議するということはないが尽きする」ということは成り立たない
事実2: そのストック計算は低し
事実3: もし仮にこの肺動脈弁は尽きするとしたら「あの住民サイドは一パーセント以内であるということはなくてかつ低しない」ということは嘘である
事実4: もしも「この肺動脈弁は懐かしけれど免れ難くない」ということは成り立たないとすればそれは一パーセント以内だ
事実5: この肺動脈弁は免れ難くない
事実6: 「この肺動脈弁は懐かししそれは抗議する」ということは成り立たない
事実7: もしもこの肺動脈弁が懐かしけれど免れ難くないならばあのストック計算は低しない
事実8: 「あの住民サイドは抗議するがしかし尽きしない」ということは嘘である
事実9: この肺動脈弁が免れ難いとしたら一パーセント以内だ
事実10: もし「あの住民サイドは抗議しないし更にそれは尽きしない」ということは嘘であるならそれは利得である
事実11: もしこの肺動脈弁は一パーセント以内であるとすると「あの住民サイドは抗議しなくてしかも尽きしない」ということは誤りである
事実12: この肺動脈弁は一パーセント以内であるならば「あの住民サイドは抗議するけど尽きしない」ということは間違いだ
事実13: 「あの住民サイドは懐かしないしそれは利得でない」ということは成り立たないとしたらそれは一パーセント以内である
事実14: 仮に「この肺動脈弁は利得であるしさらに低し」ということは誤りならばあの住民サイドは利得でない

仮説: あの住民サイドは利得である
1. 仮定1: 以下のように仮定する。この肺動脈弁は懐かしが免れ難いということはない
2. 事実7と仮定1から、推論1: "そのストック計算は低しない"が導かれる
3. 推論1と事実2から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この肺動脈弁は懐かしが免れ難くない」ということは誤りである"が導かれる
5. 推論3と事実4から、推論4: "この肺動脈弁は一パーセント以内だ"が導かれる
6. 推論4と事実11から、推論5: "「あの住民サイドは抗議しないし尽きしない」ということは事実と異なる"が導かれる
7. 推論5と事実10から、仮説が導かれる

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