「この換算は大人っぽくない」ということは成り立つ
fact1: あの安定はサウンドデータでないとすると「この換算は軟らかい」ということは誤っていない fact2: もし仮に何らかの物は軟らかいなら「それは結び付かないがしかし受け入れ難い」ということは成り立たない fact3: もしもなにがしかの物は軟らかいとすれば「それは結び付かないしまた受け入れ難くない」ということは間違っている fact4: もし仮にこの換算は軟らかいとすると「それは結び付く一方で受け入れ難くない」ということは偽である fact5: もし仮に「何らかのものは結び付かないしそれに受け入れ難くない」ということは事実と異なるなら大人っぽくない fact6: もし「その鉄線は受け入れ難い」ということは事実であるとすると「あの安定は軟らかい一方でそれはサウンドデータでない」ということは間違っている fact7: 「あの安定は大人っぽくないしその上サウンドデータだということはない」ということは成り立たない fact8: 「あの安定はサウンドデータでない」ということは確かである fact9: この換算は召し上げない
fact1 & fact8 -> int1: この換算は軟らかい; fact3 -> int2: 「もし仮にこの換算は軟らかいなら「この換算は結び付かないし受け入れ難くない」ということは間違いだ」ということは本当だ; int1 & int2 -> int3: 「この換算は結び付かないしまたそれは受け入れ難くない」ということは成り立たない; fact5 -> int4: 「この換算は結び付かなくてその上それは受け入れ難くない」ということは誤りならそれは大人っぽくない; int3 & int4 -> hypothesis;
fact1 & fact8 -> int1: {B}{b}; fact3 -> int2: {B}{b} -> ¬(¬{D}{b} & ¬{C}{b}); int1 & int2 -> int3: ¬(¬{D}{b} & ¬{C}{b}); fact5 -> int4: ¬(¬{D}{b} & ¬{C}{b}) -> ¬{E}{b}; int3 & int4 -> hypothesis;
この換算は大人っぽい
$facts$ = fact1: あの安定はサウンドデータでないとすると「この換算は軟らかい」ということは誤っていない fact2: もし仮に何らかの物は軟らかいなら「それは結び付かないがしかし受け入れ難い」ということは成り立たない fact3: もしもなにがしかの物は軟らかいとすれば「それは結び付かないしまた受け入れ難くない」ということは間違っている fact4: もし仮にこの換算は軟らかいとすると「それは結び付く一方で受け入れ難くない」ということは偽である fact5: もし仮に「何らかのものは結び付かないしそれに受け入れ難くない」ということは事実と異なるなら大人っぽくない fact6: もし「その鉄線は受け入れ難い」ということは事実であるとすると「あの安定は軟らかい一方でそれはサウンドデータでない」ということは間違っている fact7: 「あの安定は大人っぽくないしその上サウンドデータだということはない」ということは成り立たない fact8: 「あの安定はサウンドデータでない」ということは確かである fact9: この換算は召し上げない ; $hypothesis$ = 「この換算は大人っぽくない」ということは成り立つ ; $proof$ = 
fact1 & fact8 -> int1: この換算は軟らかい; fact3 -> int2: 「もし仮にこの換算は軟らかいなら「この換算は結び付かないし受け入れ難くない」ということは間違いだ」ということは本当だ; int1 & int2 -> int3: 「この換算は結び付かないしまたそれは受け入れ難くない」ということは成り立たない; fact5 -> int4: 「この換算は結び付かなくてその上それは受け入れ難くない」ということは誤りならそれは大人っぽくない; int3 & int4 -> hypothesis; __PROVED__
事実1: あの安定はサウンドデータでないとすると「この換算は軟らかい」ということは誤っていない
事実2: もし仮に何らかの物は軟らかいなら「それは結び付かないがしかし受け入れ難い」ということは成り立たない
事実3: もしもなにがしかの物は軟らかいとすれば「それは結び付かないしまた受け入れ難くない」ということは間違っている
事実4: もし仮にこの換算は軟らかいとすると「それは結び付く一方で受け入れ難くない」ということは偽である
事実5: もし仮に「何らかのものは結び付かないしそれに受け入れ難くない」ということは事実と異なるなら大人っぽくない
事実6: もし「その鉄線は受け入れ難い」ということは事実であるとすると「あの安定は軟らかい一方でそれはサウンドデータでない」ということは間違っている
事実7: 「あの安定は大人っぽくないしその上サウンドデータだということはない」ということは成り立たない
事実8: 「あの安定はサウンドデータでない」ということは確かである
事実9: この換算は召し上げない

仮説: 「この換算は大人っぽくない」ということは成り立つ
1. 事実1と事実8から、推論1: "この換算は軟らかい"が導かれる
2. 事実3から、推論2: "「もし仮にこの換算は軟らかいなら「この換算は結び付かないし受け入れ難くない」ということは間違いだ」ということは本当だ"が導かれる
3. 推論1と推論2から、推論3: "「この換算は結び付かないしまたそれは受け入れ難くない」ということは成り立たない"が導かれる
4. 事実5から、推論4: "「この換算は結び付かなくてその上それは受け入れ難くない」ということは誤りならそれは大人っぽくない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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