「「この単体所得計算は確保する一方で晒され易いということはない」ということは誤りだ」ということは確かだ
fact1: 何らかのものは高笑いするなら「確保するけど晒され易くない」ということは偽だ fact2: もし仮に「その年金額は計り取らないか口車であるかもしくは両方ともだ」ということは成り立つということはないとしたら「それは高笑いしない」ということは確かである fact3: 仮になにがしかのものが確保しないならそれは薄らぐしさらに晒され易い fact4: もしも「その年金額は高笑いするということはない」ということは成り立つならばあの単体所得計算は高笑いする fact5: もし「その年金額は確保する」ということは確かであるならばこの単体所得計算は確保する fact6: この単体所得計算は確保する fact7: あの戦略的行動はか細いしそれは晒され易い fact8: その年金額は高笑いする fact9: その年金額は確保するしまた高笑いする fact10: もしその年金額が確保するとするとこの単体所得計算は確保する一方で晒され易くない
fact9 -> int1: その年金額は確保する; int1 & fact10 -> hypothesis;
あの戦略的行動は薄らぐしそれは晒され易い
fact11 -> int2: もしも「あの戦略的行動は確保しない」ということは成り立つとすると「それは薄らぐし晒され易い」ということは正しい;
$facts$ = fact1: 何らかのものは高笑いするなら「確保するけど晒され易くない」ということは偽だ fact2: もし仮に「その年金額は計り取らないか口車であるかもしくは両方ともだ」ということは成り立つということはないとしたら「それは高笑いしない」ということは確かである fact3: 仮になにがしかのものが確保しないならそれは薄らぐしさらに晒され易い fact4: もしも「その年金額は高笑いするということはない」ということは成り立つならばあの単体所得計算は高笑いする fact5: もし「その年金額は確保する」ということは確かであるならばこの単体所得計算は確保する fact6: この単体所得計算は確保する fact7: あの戦略的行動はか細いしそれは晒され易い fact8: その年金額は高笑いする fact9: その年金額は確保するしまた高笑いする fact10: もしその年金額が確保するとするとこの単体所得計算は確保する一方で晒され易くない ; $hypothesis$ = 「「この単体所得計算は確保する一方で晒され易いということはない」ということは誤りだ」ということは確かだ ; $proof$ = 
fact9 -> int1: その年金額は確保する; int1 & fact10 -> hypothesis; __DISPROVED__
事実1: 何らかのものは高笑いするなら「確保するけど晒され易くない」ということは偽だ
事実2: もし仮に「その年金額は計り取らないか口車であるかもしくは両方ともだ」ということは成り立つということはないとしたら「それは高笑いしない」ということは確かである
事実3: 仮になにがしかのものが確保しないならそれは薄らぐしさらに晒され易い
事実4: もしも「その年金額は高笑いするということはない」ということは成り立つならばあの単体所得計算は高笑いする
事実5: もし「その年金額は確保する」ということは確かであるならばこの単体所得計算は確保する
事実6: この単体所得計算は確保する
事実7: あの戦略的行動はか細いしそれは晒され易い
事実8: その年金額は高笑いする
事実9: その年金額は確保するしまた高笑いする
事実10: もしその年金額が確保するとするとこの単体所得計算は確保する一方で晒され易くない

仮説: 「「この単体所得計算は確保する一方で晒され易いということはない」ということは誤りだ」ということは確かだ
1. 事実9から、推論1: "その年金額は確保する"が導かれる
2. 推論1と事実10から、仮説が否定される

よって、仮説が否定されました。