その役柄は愛情深くない
fact1: もし仮にある物は潮止めであるとすると「凛々しくないかもしくはそれは空間上であるかどちらもだ」ということは事実と異なる fact2: なんらかのものはモデル達であるとすればそれは八十五歳以上でないけど近寄り難い fact3: もしその太鼓持ちが八十五歳以上であるし近寄り難いならその役柄は愛情深いということはない fact4: もしもあの格言がマンガンだ一方でそれが鼻白まないとすればあの死者数は蒸発しない fact5: 「「まだるっこしいということはないしさらにモデル達でない」ということは間違っている」物はある fact6: もしもなにかはモデル達でないとすればそれはまだるっこしくないしそれは遠し fact7: もし仮に「その死者数は蒸発しない」ということは偽でないとするとその役柄は潮止めであるし順応し易い fact8: なにがしかの物は第二回中央アジア探検だ一方で表現し直さない fact9: もしもその太鼓持ちは八十五歳以上でないが近寄り難いとすれば「その役柄は愛情深くない」ということは正しい fact10: あの格言は鼻白まない fact11: もしも「なにかは凛々しくないかまたは空間上であるか両方だ」ということは成り立つということはないとするとそれは山人であるということはない fact12: 仮に「「まだるっこしくないししかもモデル達でない」ということは偽である」ものはあるとしたら「その太鼓持ちはモデル達だ」ということは真実である fact13: もし「山人でない」物はあるなら「あの景気停滞は愛情深いししかも反応し易い」ということは間違いである fact14: 「なんらかのものは愛情深くてかつ反応し易い」ということは間違いであるならモデル達でない fact15: 「「まだるっこしいということはないけれどモデル達だ」ということは成り立たない」物はある fact16: もしなにがしかのものが第二回中央アジア探検であるが表現し直さないとすればあの格言はマンガンである
fact2 -> int1: もしも「その太鼓持ちはモデル達である」ということは本当であるとすると八十五歳以上でないし近寄り難い; fact5 & fact12 -> int2: その太鼓持ちはモデル達である; int1 & int2 -> int3: その太鼓持ちは八十五歳以上でないけれど近寄り難い; int3 & fact9 -> hypothesis;
fact2 -> int1: {A}{aa} -> (¬{AA}{aa} & {AB}{aa}); fact5 & fact12 -> int2: {A}{aa}; int1 & int2 -> int3: (¬{AA}{aa} & {AB}{aa}); int3 & fact9 -> hypothesis;
あの景気停滞はまだるっこしいということはないが遠し
fact21 -> int4: もし仮にあの景気停滞がモデル達でないならばまだるっこしいということはないしその上遠し; fact23 -> int5: もし仮に「あの景気停滞は愛情深くてそれにそれは反応し易い」ということは確かでないとすればそれはモデル達でない; fact17 -> int6: もしも「その役柄は凛々しくないかもしくは空間上である」ということは間違っているとすれば山人でない; fact22 -> int7: もしもその役柄は潮止めであるとしたら「それは凛々しいということはないかあるいは空間上である」ということは成り立たない; fact20 & fact26 -> int8: あの格言はマンガンである; int8 & fact25 -> int9: あの格言はマンガンだけれどそれは鼻白むということはない; fact18 & int9 -> int10: その死者数は蒸発しない; fact24 & int10 -> int11: その役柄は潮止めであるしそれに順応し易い; int11 -> int12: その役柄は潮止めだ; int7 & int12 -> int13: 「「その役柄は凛々しいということはないかまたは空間上であるかあるいは両方ともだ」ということは間違いだ」ということは成り立つ; int6 & int13 -> int14: その役柄は山人でない; int14 -> int15: 「山人でない」ものはある; int15 & fact19 -> int16: 「あの景気停滞は愛情深いししかも反応し易い」ということは成り立たない; int5 & int16 -> int17: あの景気停滞はモデル達でない; int4 & int17 -> hypothesis;
$facts$ = fact1: もし仮にある物は潮止めであるとすると「凛々しくないかもしくはそれは空間上であるかどちらもだ」ということは事実と異なる fact2: なんらかのものはモデル達であるとすればそれは八十五歳以上でないけど近寄り難い fact3: もしその太鼓持ちが八十五歳以上であるし近寄り難いならその役柄は愛情深いということはない fact4: もしもあの格言がマンガンだ一方でそれが鼻白まないとすればあの死者数は蒸発しない fact5: 「「まだるっこしいということはないしさらにモデル達でない」ということは間違っている」物はある fact6: もしもなにかはモデル達でないとすればそれはまだるっこしくないしそれは遠し fact7: もし仮に「その死者数は蒸発しない」ということは偽でないとするとその役柄は潮止めであるし順応し易い fact8: なにがしかの物は第二回中央アジア探検だ一方で表現し直さない fact9: もしもその太鼓持ちは八十五歳以上でないが近寄り難いとすれば「その役柄は愛情深くない」ということは正しい fact10: あの格言は鼻白まない fact11: もしも「なにかは凛々しくないかまたは空間上であるか両方だ」ということは成り立つということはないとするとそれは山人であるということはない fact12: 仮に「「まだるっこしくないししかもモデル達でない」ということは偽である」ものはあるとしたら「その太鼓持ちはモデル達だ」ということは真実である fact13: もし「山人でない」物はあるなら「あの景気停滞は愛情深いししかも反応し易い」ということは間違いである fact14: 「なんらかのものは愛情深くてかつ反応し易い」ということは間違いであるならモデル達でない fact15: 「「まだるっこしいということはないけれどモデル達だ」ということは成り立たない」物はある fact16: もしなにがしかのものが第二回中央アジア探検であるが表現し直さないとすればあの格言はマンガンである ; $hypothesis$ = その役柄は愛情深くない ; $proof$ = 
fact2 -> int1: もしも「その太鼓持ちはモデル達である」ということは本当であるとすると八十五歳以上でないし近寄り難い; fact5 & fact12 -> int2: その太鼓持ちはモデル達である; int1 & int2 -> int3: その太鼓持ちは八十五歳以上でないけれど近寄り難い; int3 & fact9 -> hypothesis; __PROVED__
事実1: もし仮にある物は潮止めであるとすると「凛々しくないかもしくはそれは空間上であるかどちらもだ」ということは事実と異なる
事実2: なんらかのものはモデル達であるとすればそれは八十五歳以上でないけど近寄り難い
事実3: もしその太鼓持ちが八十五歳以上であるし近寄り難いならその役柄は愛情深いということはない
事実4: もしもあの格言がマンガンだ一方でそれが鼻白まないとすればあの死者数は蒸発しない
事実5: 「「まだるっこしいということはないしさらにモデル達でない」ということは間違っている」物はある
事実6: もしもなにかはモデル達でないとすればそれはまだるっこしくないしそれは遠し
事実7: もし仮に「その死者数は蒸発しない」ということは偽でないとするとその役柄は潮止めであるし順応し易い
事実8: なにがしかの物は第二回中央アジア探検だ一方で表現し直さない
事実9: もしもその太鼓持ちは八十五歳以上でないが近寄り難いとすれば「その役柄は愛情深くない」ということは正しい
事実10: あの格言は鼻白まない
事実11: もしも「なにかは凛々しくないかまたは空間上であるか両方だ」ということは成り立つということはないとするとそれは山人であるということはない
事実12: 仮に「「まだるっこしくないししかもモデル達でない」ということは偽である」ものはあるとしたら「その太鼓持ちはモデル達だ」ということは真実である
事実13: もし「山人でない」物はあるなら「あの景気停滞は愛情深いししかも反応し易い」ということは間違いである
事実14: 「なんらかのものは愛情深くてかつ反応し易い」ということは間違いであるならモデル達でない
事実15: 「「まだるっこしいということはないけれどモデル達だ」ということは成り立たない」物はある
事実16: もしなにがしかのものが第二回中央アジア探検であるが表現し直さないとすればあの格言はマンガンである

仮説: その役柄は愛情深くない
1. 事実2から、推論1: "もしも「その太鼓持ちはモデル達である」ということは本当であるとすると八十五歳以上でないし近寄り難い"が導かれる
2. 事実5と事実12から、推論2: "その太鼓持ちはモデル達である"が導かれる
3. 推論1と推論2から、推論3: "その太鼓持ちは八十五歳以上でないけれど近寄り難い"が導かれる
4. 推論3と事実9から、仮説が導かれる

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