「もしも「入り直さない」ということは嘘であるということはないならば止み難いし年金財政上な」ものはある
fact1: 仮に「その株仲間は物憂い」ということは成り立てば止み難い fact2: もし仮にその株仲間が物憂くないとするとそれは立ち得るしそれは得易い fact3: その株仲間は年金財政上である fact4: 仮にその株仲間が入り直すとすると止み難いし更に年金財政上である fact5: その株仲間が大屋根であるけれど止み難くないとすればその御妙は大屋根である fact6: もし仮にその株仲間が分かり辛くないかもしくはそれが物憂いとすればそれは止み難い fact7: 「もしも入り直すなら止み難いしさらに年金財政上な」物はある fact8: その株仲間が入り直さないならそれは分かり辛くないか物憂いかもしくは両方だ fact9: もしその株仲間が入り直すとすればそれは大屋根だけど止み難いということはない
void -> assump1: 以下のように仮定する。その株仲間は入り直さない; fact8 & assump1 -> int1: その株仲間は分かり辛くないか物憂いかまたは両方ともだ; int1 & fact6 -> int2: 「その株仲間は止み難い」ということは間違っていない; int2 & fact3 -> int3: その株仲間は止み難くてそれに年金財政上だ; [assump1] & int3 -> int4: もしもその株仲間が入り直さないとすると止み難いしそれは年金財政上である; int4 -> hypothesis;
その御妙は大屋根で得難し
$facts$ = fact1: 仮に「その株仲間は物憂い」ということは成り立てば止み難い fact2: もし仮にその株仲間が物憂くないとするとそれは立ち得るしそれは得易い fact3: その株仲間は年金財政上である fact4: 仮にその株仲間が入り直すとすると止み難いし更に年金財政上である fact5: その株仲間が大屋根であるけれど止み難くないとすればその御妙は大屋根である fact6: もし仮にその株仲間が分かり辛くないかもしくはそれが物憂いとすればそれは止み難い fact7: 「もしも入り直すなら止み難いしさらに年金財政上な」物はある fact8: その株仲間が入り直さないならそれは分かり辛くないか物憂いかもしくは両方だ fact9: もしその株仲間が入り直すとすればそれは大屋根だけど止み難いということはない ; $hypothesis$ = 「もしも「入り直さない」ということは嘘であるということはないならば止み難いし年金財政上な」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。その株仲間は入り直さない; fact8 & assump1 -> int1: その株仲間は分かり辛くないか物憂いかまたは両方ともだ; int1 & fact6 -> int2: 「その株仲間は止み難い」ということは間違っていない; int2 & fact3 -> int3: その株仲間は止み難くてそれに年金財政上だ; [assump1] & int3 -> int4: もしもその株仲間が入り直さないとすると止み難いしそれは年金財政上である; int4 -> hypothesis; __PROVED__
事実1: 仮に「その株仲間は物憂い」ということは成り立てば止み難い
事実2: もし仮にその株仲間が物憂くないとするとそれは立ち得るしそれは得易い
事実3: その株仲間は年金財政上である
事実4: 仮にその株仲間が入り直すとすると止み難いし更に年金財政上である
事実5: その株仲間が大屋根であるけれど止み難くないとすればその御妙は大屋根である
事実6: もし仮にその株仲間が分かり辛くないかもしくはそれが物憂いとすればそれは止み難い
事実7: 「もしも入り直すなら止み難いしさらに年金財政上な」物はある
事実8: その株仲間が入り直さないならそれは分かり辛くないか物憂いかもしくは両方だ
事実9: もしその株仲間が入り直すとすればそれは大屋根だけど止み難いということはない

仮説: 「もしも「入り直さない」ということは嘘であるということはないならば止み難いし年金財政上な」ものはある
1. 仮定1: 以下のように仮定する。その株仲間は入り直さない
2. 事実8と仮定1から、推論1: "その株仲間は分かり辛くないか物憂いかまたは両方ともだ"が導かれる
3. 推論1と事実6から、推論2: "「その株仲間は止み難い」ということは間違っていない"が導かれる
4. 推論2と事実3から、推論3: "その株仲間は止み難くてそれに年金財政上だ"が導かれる
5. [仮定1]と推論3から、推論4: "もしもその株仲間が入り直さないとすると止み難いしそれは年金財政上である"が導かれる
6. 推論4から、仮説が導かれる

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