あのコリア人は古本屋だ
fact1: もし仮に「その指名委員会は排すということはない」ということは成り立つとしたらそのコミュニケは日本毛織りでなくてそれに外来医療でない fact2: もし仮にその別記様式歳入歳出予算がばあかしいなら日本人らしくない一方で下欄だ fact3: 仮にその別記様式歳入歳出予算が日本人らしくない一方で下欄であるとしたらあの縦皺は日本人らしくない fact4: 御構い無い走狗は古本屋でない fact5: もしもあの縦皺が日本人らしくないとするとそれは黄色っぽいしオーボエである fact6: もしとあるものが日本毛織りでないし外来医療でないとすれば「それは走狗だ」ということは成り立つ fact7: もしその別記様式歳入歳出予算が買い易いとするとあのコリア人は古本屋である fact8: あの縦皺は続き易いということはない fact9: もし仮に「あの縦皺は排すけど買い易いということはない」ということは嘘だとするとあのコリア人は買い易くない fact10: そのコミュニケが走狗だとしたらあの縦皺は御構い無い fact11: もし仮にあのコリア人が買い易くないがしかしそれは古本屋であるとすれば排す fact12: その指名委員会は排さない fact13: 仮になにがしかの物はオーボエであるとすると「それは排すし買い易くない」ということは成り立つということはない fact14: もしとある物が買い易くないとすればそれは走狗であるしその上御構い無い fact15: もしあの縦皺が御構い無いとすればその別記様式歳入歳出予算は買い易い fact16: もしも御構い無いということはないものは走狗でないならそれは買い易い
fact6 -> int1: もしも「そのコミュニケは日本毛織りでないし外来医療でない」ということは成り立つとすれば「それは走狗だ」ということは成り立つ; fact1 & fact12 -> int2: そのコミュニケは日本毛織りでないし外来医療だということはない; int1 & int2 -> int3: そのコミュニケは走狗だ; int3 & fact10 -> int4: あの縦皺は御構い無い; int4 & fact15 -> int5: その別記様式歳入歳出予算は買い易い; int5 & fact7 -> hypothesis;
あのコリア人は古本屋でない
fact17 -> int6: 仮にあのコリア人は走狗で御構い無いならそれは古本屋でない; fact19 -> int7: 仮にあのコリア人が買い易くないとすればそれは走狗であるし御構い無い; fact23 -> int8: あの縦皺はオーボエであるとすれば「排すしそれは買い易くない」ということは成り立つということはない;
$facts$ = fact1: もし仮に「その指名委員会は排すということはない」ということは成り立つとしたらそのコミュニケは日本毛織りでなくてそれに外来医療でない fact2: もし仮にその別記様式歳入歳出予算がばあかしいなら日本人らしくない一方で下欄だ fact3: 仮にその別記様式歳入歳出予算が日本人らしくない一方で下欄であるとしたらあの縦皺は日本人らしくない fact4: 御構い無い走狗は古本屋でない fact5: もしもあの縦皺が日本人らしくないとするとそれは黄色っぽいしオーボエである fact6: もしとあるものが日本毛織りでないし外来医療でないとすれば「それは走狗だ」ということは成り立つ fact7: もしその別記様式歳入歳出予算が買い易いとするとあのコリア人は古本屋である fact8: あの縦皺は続き易いということはない fact9: もし仮に「あの縦皺は排すけど買い易いということはない」ということは嘘だとするとあのコリア人は買い易くない fact10: そのコミュニケが走狗だとしたらあの縦皺は御構い無い fact11: もし仮にあのコリア人が買い易くないがしかしそれは古本屋であるとすれば排す fact12: その指名委員会は排さない fact13: 仮になにがしかの物はオーボエであるとすると「それは排すし買い易くない」ということは成り立つということはない fact14: もしとある物が買い易くないとすればそれは走狗であるしその上御構い無い fact15: もしあの縦皺が御構い無いとすればその別記様式歳入歳出予算は買い易い fact16: もしも御構い無いということはないものは走狗でないならそれは買い易い ; $hypothesis$ = あのコリア人は古本屋だ ; $proof$ = 
fact6 -> int1: もしも「そのコミュニケは日本毛織りでないし外来医療でない」ということは成り立つとすれば「それは走狗だ」ということは成り立つ; fact1 & fact12 -> int2: そのコミュニケは日本毛織りでないし外来医療だということはない; int1 & int2 -> int3: そのコミュニケは走狗だ; int3 & fact10 -> int4: あの縦皺は御構い無い; int4 & fact15 -> int5: その別記様式歳入歳出予算は買い易い; int5 & fact7 -> hypothesis; __PROVED__
事実1: もし仮に「その指名委員会は排すということはない」ということは成り立つとしたらそのコミュニケは日本毛織りでなくてそれに外来医療でない
事実2: もし仮にその別記様式歳入歳出予算がばあかしいなら日本人らしくない一方で下欄だ
事実3: 仮にその別記様式歳入歳出予算が日本人らしくない一方で下欄であるとしたらあの縦皺は日本人らしくない
事実4: 御構い無い走狗は古本屋でない
事実5: もしもあの縦皺が日本人らしくないとするとそれは黄色っぽいしオーボエである
事実6: もしとあるものが日本毛織りでないし外来医療でないとすれば「それは走狗だ」ということは成り立つ
事実7: もしその別記様式歳入歳出予算が買い易いとするとあのコリア人は古本屋である
事実8: あの縦皺は続き易いということはない
事実9: もし仮に「あの縦皺は排すけど買い易いということはない」ということは嘘だとするとあのコリア人は買い易くない
事実10: そのコミュニケが走狗だとしたらあの縦皺は御構い無い
事実11: もし仮にあのコリア人が買い易くないがしかしそれは古本屋であるとすれば排す
事実12: その指名委員会は排さない
事実13: 仮になにがしかの物はオーボエであるとすると「それは排すし買い易くない」ということは成り立つということはない
事実14: もしとある物が買い易くないとすればそれは走狗であるしその上御構い無い
事実15: もしあの縦皺が御構い無いとすればその別記様式歳入歳出予算は買い易い
事実16: もしも御構い無いということはないものは走狗でないならそれは買い易い

仮説: あのコリア人は古本屋だ
1. 事実6から、推論1: "もしも「そのコミュニケは日本毛織りでないし外来医療でない」ということは成り立つとすれば「それは走狗だ」ということは成り立つ"が導かれる
2. 事実1と事実12から、推論2: "そのコミュニケは日本毛織りでないし外来医療だということはない"が導かれる
3. 推論1と推論2から、推論3: "そのコミュニケは走狗だ"が導かれる
4. 推論3と事実10から、推論4: "あの縦皺は御構い無い"が導かれる
5. 推論4と事実15から、推論5: "その別記様式歳入歳出予算は買い易い"が導かれる
6. 推論5と事実7から、仮説が導かれる

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