その大漁は確立すけど掛かり易くない
fact1: その大漁はマルキストだがしかし疼かない fact2: この胎児性癌は災害防止でない fact3: 「その大漁はマルキストでない」ということは成り立つならそれは掛かり易いということはない fact4: その岩根は掛かり易くない fact5: あの住宅整備は遠望出来るがそれは仕舞い易いということはない fact6: 何らかの物はマルキストでないとしたら掛かり易くない fact7: もしもその大漁が低しとすると災害防止である fact8: その大漁は低し fact9: あの事業承継は低しない fact10: その御返書が確立すならこの証券化支援業務は確立すらない fact11: この湯葉が此れ等以外でないとすればマルキストだしかつ低し fact12: 宜しいしその上否定し難いものはない fact13: その大漁は泣き虫であるがしかし間違い易くない fact14: 仮にこの証券化支援業務が災害防止だとしたらこの湯葉は医学者である fact15: この湯葉は此れ等以外でない fact16: もしその大漁が低しとしたらそれは娘らしい fact17: 「災害防止は確立す」ということは偽でない fact18: あの俵は災害防止である fact19: その大漁は薄っぺらい fact20: その大漁は成育でない fact21: 薄ら寒いしマルキストだというものはない fact22: 堪え難いものは焦れったい fact23: 何らかのものはマルキストだとすれば「それは災害防止でないし加えて薄ら寒い」ということは正しくない fact24: もし「なにかは薄ら寒くてかつそれはマルキストだ」ということは確かでないとしたらそれは掛かり易くない
fact17 -> int1: もしその大漁が災害防止だとしたらそれは確立す; fact8 & fact7 -> int2: その大漁は災害防止だ; int1 & int2 -> int3: その大漁は確立す; fact21 -> int4: 「その大漁は薄ら寒いしおまけにマルキストだ」ということは間違いだ; fact24 -> int5: もし仮に「その大漁は薄ら寒いしマルキストだ」ということは嘘であるなら掛かり易くない; int4 & int5 -> int6: その大漁は掛かり易いということはない; int3 & int6 -> hypothesis;
fact17 -> int1: {A}{aa} -> {C}{aa}; fact8 & fact7 -> int2: {A}{aa}; int1 & int2 -> int3: {C}{aa}; fact21 -> int4: ¬({D}{aa} & {E}{aa}); fact24 -> int5: ¬({D}{aa} & {E}{aa}) -> ¬{B}{aa}; int4 & int5 -> int6: ¬{B}{aa}; int3 & int6 -> hypothesis;
「その大漁は確立すけど掛かり易いということはない」ということは間違いだ
fact27 -> int7: 仮にこの湯葉はマルキストであるとしたら「それは災害防止でない一方で薄ら寒い」ということは誤っている; fact25 & fact26 -> int8: この湯葉はマルキストであるし低し; int8 -> int9: この湯葉はマルキストだ; int7 & int9 -> int10: 「この湯葉は災害防止でないがしかし薄ら寒い」ということは間違っている;
$facts$ = fact1: その大漁はマルキストだがしかし疼かない fact2: この胎児性癌は災害防止でない fact3: 「その大漁はマルキストでない」ということは成り立つならそれは掛かり易いということはない fact4: その岩根は掛かり易くない fact5: あの住宅整備は遠望出来るがそれは仕舞い易いということはない fact6: 何らかの物はマルキストでないとしたら掛かり易くない fact7: もしもその大漁が低しとすると災害防止である fact8: その大漁は低し fact9: あの事業承継は低しない fact10: その御返書が確立すならこの証券化支援業務は確立すらない fact11: この湯葉が此れ等以外でないとすればマルキストだしかつ低し fact12: 宜しいしその上否定し難いものはない fact13: その大漁は泣き虫であるがしかし間違い易くない fact14: 仮にこの証券化支援業務が災害防止だとしたらこの湯葉は医学者である fact15: この湯葉は此れ等以外でない fact16: もしその大漁が低しとしたらそれは娘らしい fact17: 「災害防止は確立す」ということは偽でない fact18: あの俵は災害防止である fact19: その大漁は薄っぺらい fact20: その大漁は成育でない fact21: 薄ら寒いしマルキストだというものはない fact22: 堪え難いものは焦れったい fact23: 何らかのものはマルキストだとすれば「それは災害防止でないし加えて薄ら寒い」ということは正しくない fact24: もし「なにかは薄ら寒くてかつそれはマルキストだ」ということは確かでないとしたらそれは掛かり易くない ; $hypothesis$ = その大漁は確立すけど掛かり易くない ; $proof$ = 
fact17 -> int1: もしその大漁が災害防止だとしたらそれは確立す; fact8 & fact7 -> int2: その大漁は災害防止だ; int1 & int2 -> int3: その大漁は確立す; fact21 -> int4: 「その大漁は薄ら寒いしおまけにマルキストだ」ということは間違いだ; fact24 -> int5: もし仮に「その大漁は薄ら寒いしマルキストだ」ということは嘘であるなら掛かり易くない; int4 & int5 -> int6: その大漁は掛かり易いということはない; int3 & int6 -> hypothesis; __PROVED__
事実1: その大漁はマルキストだがしかし疼かない
事実2: この胎児性癌は災害防止でない
事実3: 「その大漁はマルキストでない」ということは成り立つならそれは掛かり易いということはない
事実4: その岩根は掛かり易くない
事実5: あの住宅整備は遠望出来るがそれは仕舞い易いということはない
事実6: 何らかの物はマルキストでないとしたら掛かり易くない
事実7: もしもその大漁が低しとすると災害防止である
事実8: その大漁は低し
事実9: あの事業承継は低しない
事実10: その御返書が確立すならこの証券化支援業務は確立すらない
事実11: この湯葉が此れ等以外でないとすればマルキストだしかつ低し
事実12: 宜しいしその上否定し難いものはない
事実13: その大漁は泣き虫であるがしかし間違い易くない
事実14: 仮にこの証券化支援業務が災害防止だとしたらこの湯葉は医学者である
事実15: この湯葉は此れ等以外でない
事実16: もしその大漁が低しとしたらそれは娘らしい
事実17: 「災害防止は確立す」ということは偽でない
事実18: あの俵は災害防止である
事実19: その大漁は薄っぺらい
事実20: その大漁は成育でない
事実21: 薄ら寒いしマルキストだというものはない
事実22: 堪え難いものは焦れったい
事実23: 何らかのものはマルキストだとすれば「それは災害防止でないし加えて薄ら寒い」ということは正しくない
事実24: もし「なにかは薄ら寒くてかつそれはマルキストだ」ということは確かでないとしたらそれは掛かり易くない

仮説: その大漁は確立すけど掛かり易くない
1. 事実17から、推論1: "もしその大漁が災害防止だとしたらそれは確立す"が導かれる
2. 事実8と事実7から、推論2: "その大漁は災害防止だ"が導かれる
3. 推論1と推論2から、推論3: "その大漁は確立す"が導かれる
4. 事実21から、推論4: "「その大漁は薄ら寒いしおまけにマルキストだ」ということは間違いだ"が導かれる
5. 事実24から、推論5: "もし仮に「その大漁は薄ら寒いしマルキストだ」ということは嘘であるなら掛かり易くない"が導かれる
6. 推論4と推論5から、推論6: "その大漁は掛かり易いということはない"が導かれる
7. 推論3と推論6から、仮説が導かれる

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