その必要時は塩っ辛いということはない
fact1: 仮になにがしかのものが乗っかるならそれは塩っ辛い fact2: 「その容器は御注意下さるしおまけに貯金箱である」ということは成り立つ fact3: その必要時は派遣契約である fact4: もし仮にその容器は塑性化するなら「「この定年年齢は御注意下さらない一方で塩っ辛い」ということは成り立たない」ということは正しい fact5: もし仮に「この定年年齢は照らせるかまたは派遣契約でない」ということは成り立たないならば「その容器は御注意下さらない」ということは真実である fact6: 仮にこの進入灯台が塑性化するならその必要時は乗っかる fact7: この定年年齢が照らせるかまたはそれが派遣契約でないとしたらこの進入灯台は塑性化する fact8: この進入灯台は塑性化するかもしくは乗っからない
void -> assump1: 以下のように仮定する。「「この定年年齢は照らせるかもしくは派遣契約でないかあるいは両方だ」ということは本当である」ということは間違っている; fact5 & assump1 -> int1: 「その容器は御注意下さらない」ということは成り立つ; fact2 -> int2: その容器は御注意下さる; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この定年年齢は照らせるかあるいは派遣契約でないかまたは両方だ; int4 & fact7 -> int5: この進入灯台は塑性化する; int5 & fact6 -> int6: その必要時は乗っかる; fact1 -> int7: もしもその必要時が乗っかるとすればそれは塩っ辛い; int6 & int7 -> hypothesis;
その必要時は塩っ辛くない
$facts$ = fact1: 仮になにがしかのものが乗っかるならそれは塩っ辛い fact2: 「その容器は御注意下さるしおまけに貯金箱である」ということは成り立つ fact3: その必要時は派遣契約である fact4: もし仮にその容器は塑性化するなら「「この定年年齢は御注意下さらない一方で塩っ辛い」ということは成り立たない」ということは正しい fact5: もし仮に「この定年年齢は照らせるかまたは派遣契約でない」ということは成り立たないならば「その容器は御注意下さらない」ということは真実である fact6: 仮にこの進入灯台が塑性化するならその必要時は乗っかる fact7: この定年年齢が照らせるかまたはそれが派遣契約でないとしたらこの進入灯台は塑性化する fact8: この進入灯台は塑性化するかもしくは乗っからない ; $hypothesis$ = その必要時は塩っ辛いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「「この定年年齢は照らせるかもしくは派遣契約でないかあるいは両方だ」ということは本当である」ということは間違っている; fact5 & assump1 -> int1: 「その容器は御注意下さらない」ということは成り立つ; fact2 -> int2: その容器は御注意下さる; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この定年年齢は照らせるかあるいは派遣契約でないかまたは両方だ; int4 & fact7 -> int5: この進入灯台は塑性化する; int5 & fact6 -> int6: その必要時は乗っかる; fact1 -> int7: もしもその必要時が乗っかるとすればそれは塩っ辛い; int6 & int7 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかのものが乗っかるならそれは塩っ辛い
事実2: 「その容器は御注意下さるしおまけに貯金箱である」ということは成り立つ
事実3: その必要時は派遣契約である
事実4: もし仮にその容器は塑性化するなら「「この定年年齢は御注意下さらない一方で塩っ辛い」ということは成り立たない」ということは正しい
事実5: もし仮に「この定年年齢は照らせるかまたは派遣契約でない」ということは成り立たないならば「その容器は御注意下さらない」ということは真実である
事実6: 仮にこの進入灯台が塑性化するならその必要時は乗っかる
事実7: この定年年齢が照らせるかまたはそれが派遣契約でないとしたらこの進入灯台は塑性化する
事実8: この進入灯台は塑性化するかもしくは乗っからない

仮説: その必要時は塩っ辛いということはない
1. 仮定1: 以下のように仮定する。「「この定年年齢は照らせるかもしくは派遣契約でないかあるいは両方だ」ということは本当である」ということは間違っている
2. 事実5と仮定1から、推論1: "「その容器は御注意下さらない」ということは成り立つ"が導かれる
3. 事実2から、推論2: "その容器は御注意下さる"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この定年年齢は照らせるかあるいは派遣契約でないかまたは両方だ"が導かれる
6. 推論4と事実7から、推論5: "この進入灯台は塑性化する"が導かれる
7. 推論5と事実6から、推論6: "その必要時は乗っかる"が導かれる
8. 事実1から、推論7: "もしもその必要時が乗っかるとすればそれは塩っ辛い"が導かれる
9. 推論6と推論7から、仮説が否定される

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