この市街電車は欠勤でないけどしぶとい
fact1: もしもある物が縫い上げないとすればそれは類推出来るということはない fact2: もしある物は欠勤でないならば「広ーくない」ということは真実だ fact3: もしも「何らかのものは手作りするがしかし歌い上げない」ということは事実と異なればそれは歌い上げる fact4: この市街電車は広ーいということはない fact5: この第二項関係はつべたくないしまたそれは手作りするということはない fact6: もしもなにがしかのものは広ーくないとすると「歌い上げないしさらに因り難い」ということは成り立たない fact7: もしこの市街電車は広ーいということはないならば「それは手作りするしそれは歌い上げない」ということは誤っている fact8: もしも「つべたくないしおまけに手作りしない」物があるとしたらあのムービー名は歌い上げない fact9: もしも「何らかのものは欠勤でないけれどしぶとい」ということは偽だとすると歌い上げない fact10: 「その米軍は十三世紀であるし広ーい」ということは事実と異なる fact11: もし仮に何らかの物は広ーいとすると「それは欠勤でなくてそれはしぶとい」ということは事実と異なる
fact9 -> int1: 「この市街電車は欠勤でないけどしぶとい」ということは間違いならば歌い上げない; void -> assump1: 以下のように仮定する。「この市街電車は欠勤でないけどしぶとい」ということは誤りだ; int1 & assump1 -> int2: この市街電車は歌い上げない; fact7 & fact4 -> int3: 「この市街電車は手作りするがしかし歌い上げない」ということは誤っている; fact3 -> int4: もしも「この市街電車は手作りするが歌い上げない」ということは成り立たないとすればそれは歌い上げる; int3 & int4 -> int5: この市街電車は歌い上げる; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「あの尉は歌い上げないが因り難い」ということは誤っている
fact12 -> int7: あの尉は広ーくないとすると「それは歌い上げないがしかし因り難い」ということは間違いだ;
$facts$ = fact1: もしもある物が縫い上げないとすればそれは類推出来るということはない fact2: もしある物は欠勤でないならば「広ーくない」ということは真実だ fact3: もしも「何らかのものは手作りするがしかし歌い上げない」ということは事実と異なればそれは歌い上げる fact4: この市街電車は広ーいということはない fact5: この第二項関係はつべたくないしまたそれは手作りするということはない fact6: もしもなにがしかのものは広ーくないとすると「歌い上げないしさらに因り難い」ということは成り立たない fact7: もしこの市街電車は広ーいということはないならば「それは手作りするしそれは歌い上げない」ということは誤っている fact8: もしも「つべたくないしおまけに手作りしない」物があるとしたらあのムービー名は歌い上げない fact9: もしも「何らかのものは欠勤でないけれどしぶとい」ということは偽だとすると歌い上げない fact10: 「その米軍は十三世紀であるし広ーい」ということは事実と異なる fact11: もし仮に何らかの物は広ーいとすると「それは欠勤でなくてそれはしぶとい」ということは事実と異なる ; $hypothesis$ = この市街電車は欠勤でないけどしぶとい ; $proof$ = 
fact9 -> int1: 「この市街電車は欠勤でないけどしぶとい」ということは間違いならば歌い上げない; void -> assump1: 以下のように仮定する。「この市街電車は欠勤でないけどしぶとい」ということは誤りだ; int1 & assump1 -> int2: この市街電車は歌い上げない; fact7 & fact4 -> int3: 「この市街電車は手作りするがしかし歌い上げない」ということは誤っている; fact3 -> int4: もしも「この市街電車は手作りするが歌い上げない」ということは成り立たないとすればそれは歌い上げる; int3 & int4 -> int5: この市街電車は歌い上げる; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もしもある物が縫い上げないとすればそれは類推出来るということはない
事実2: もしある物は欠勤でないならば「広ーくない」ということは真実だ
事実3: もしも「何らかのものは手作りするがしかし歌い上げない」ということは事実と異なればそれは歌い上げる
事実4: この市街電車は広ーいということはない
事実5: この第二項関係はつべたくないしまたそれは手作りするということはない
事実6: もしもなにがしかのものは広ーくないとすると「歌い上げないしさらに因り難い」ということは成り立たない
事実7: もしこの市街電車は広ーいということはないならば「それは手作りするしそれは歌い上げない」ということは誤っている
事実8: もしも「つべたくないしおまけに手作りしない」物があるとしたらあのムービー名は歌い上げない
事実9: もしも「何らかのものは欠勤でないけれどしぶとい」ということは偽だとすると歌い上げない
事実10: 「その米軍は十三世紀であるし広ーい」ということは事実と異なる
事実11: もし仮に何らかの物は広ーいとすると「それは欠勤でなくてそれはしぶとい」ということは事実と異なる

仮説: この市街電車は欠勤でないけどしぶとい
1. 事実9から、推論1: "「この市街電車は欠勤でないけどしぶとい」ということは間違いならば歌い上げない"が導かれる
2. 仮定1: 以下のように仮定する。「この市街電車は欠勤でないけどしぶとい」ということは誤りだ
3. 推論1と仮定1から、推論2: "この市街電車は歌い上げない"が導かれる
4. 事実7と事実4から、推論3: "「この市街電車は手作りするがしかし歌い上げない」ということは誤っている"が導かれる
5. 事実3から、推論4: "もしも「この市街電車は手作りするが歌い上げない」ということは成り立たないとすればそれは歌い上げる"が導かれる
6. 推論3と推論4から、推論5: "この市街電車は歌い上げる"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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