あの公魚空揚げは相対取り引きでないがそれは堕胎する
fact1: 仮にとあるものが苦しないならば基本認識だということはない fact2: その徳川一門は身請けする fact3: もしもあのドキュメント上が身請けするとするとそれは信じ易い fact4: もし仮に「なにがしかのものは堕胎するし信じ易い」ということは誤りであるならば信じ易くない fact5: あのドキュメント上は信じ易い fact6: 仮に「相対取り引きでない」ものはあるとすれば「その内定は基本認識でないけれど身請けする」ということは間違っている fact7: もしもあるものは足尾銅山鉱毒事件でないならそれは身請けしない fact8: この文章力は苦しかもしくは真っ黒くない fact9: あの公魚空揚げは堕胎する fact10: この文章力は苦し fact11: もし仮に「あのドキュメント上は身請けする」ということは成り立つとすればそれは基本認識でないが信じ易い fact12: もしもなにがしかのものが諸変数でないかあるいはそれは与え難いということはないか両方だとしたらそれは入手し易くない fact13: 苦しないかまたは真っ黒くないかまたは両方ともなものは基本認識でない fact14: もし仮に「この文章力は苦しかまたはそれは真っ黒くない」ということは成り立たないならあの公魚空揚げは相対取り引きでない fact15: 「この文章力は苦しないかあるいは真っ黒くないかもしくはどちらもだ」ということは誤りであるとするとあの公魚空揚げは相対取り引きだということはない fact16: もし仮にあの公魚空揚げが信じ易くないとしたらあのドキュメント上は相対取り引きだということはない fact17: 「充満するしまた捗る」物はある fact18: もしこの文章力が苦しということはないとするとそれは基本認識でない fact19: もし仮にこの文章力は基本認識でないとすると「あのドキュメント上は基本認識でない一方で信じ易い」ということは成り立たない fact20: ある物が身請けするということはないならそれが基本認識だしそれは信じ易い fact21: あのドキュメント上は身請けする
fact13 -> int1: もし仮にこの文章力が苦しないかまたはそれが真っ黒くないとすると基本認識でない; void -> assump1: 以下のように仮定する。この文章力は苦しないかまたは真っ黒くないか両方ともである; int1 & assump1 -> int2: この文章力は基本認識でない; int2 & fact19 -> int3: 「あのドキュメント上は基本認識であるということはないが信じ易い」ということは事実でない; fact21 & fact11 -> int4: あのドキュメント上は基本認識でない一方で信じ易い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この文章力は苦しないか真っ黒くないかまたは両方だ」ということは誤っている; int6 & fact15 -> int7: あの公魚空揚げは相対取り引きでない; int7 & fact9 -> hypothesis;
その内定は身請けしない
fact23 -> int8: 仮に「あの公魚空揚げは堕胎するしかつ信じ易い」ということは成り立たないとすればそれは信じ易いということはない;
$facts$ = fact1: 仮にとあるものが苦しないならば基本認識だということはない fact2: その徳川一門は身請けする fact3: もしもあのドキュメント上が身請けするとするとそれは信じ易い fact4: もし仮に「なにがしかのものは堕胎するし信じ易い」ということは誤りであるならば信じ易くない fact5: あのドキュメント上は信じ易い fact6: 仮に「相対取り引きでない」ものはあるとすれば「その内定は基本認識でないけれど身請けする」ということは間違っている fact7: もしもあるものは足尾銅山鉱毒事件でないならそれは身請けしない fact8: この文章力は苦しかもしくは真っ黒くない fact9: あの公魚空揚げは堕胎する fact10: この文章力は苦し fact11: もし仮に「あのドキュメント上は身請けする」ということは成り立つとすればそれは基本認識でないが信じ易い fact12: もしもなにがしかのものが諸変数でないかあるいはそれは与え難いということはないか両方だとしたらそれは入手し易くない fact13: 苦しないかまたは真っ黒くないかまたは両方ともなものは基本認識でない fact14: もし仮に「この文章力は苦しかまたはそれは真っ黒くない」ということは成り立たないならあの公魚空揚げは相対取り引きでない fact15: 「この文章力は苦しないかあるいは真っ黒くないかもしくはどちらもだ」ということは誤りであるとするとあの公魚空揚げは相対取り引きだということはない fact16: もし仮にあの公魚空揚げが信じ易くないとしたらあのドキュメント上は相対取り引きだということはない fact17: 「充満するしまた捗る」物はある fact18: もしこの文章力が苦しということはないとするとそれは基本認識でない fact19: もし仮にこの文章力は基本認識でないとすると「あのドキュメント上は基本認識でない一方で信じ易い」ということは成り立たない fact20: ある物が身請けするということはないならそれが基本認識だしそれは信じ易い fact21: あのドキュメント上は身請けする ; $hypothesis$ = あの公魚空揚げは相対取り引きでないがそれは堕胎する ; $proof$ = 
fact13 -> int1: もし仮にこの文章力が苦しないかまたはそれが真っ黒くないとすると基本認識でない; void -> assump1: 以下のように仮定する。この文章力は苦しないかまたは真っ黒くないか両方ともである; int1 & assump1 -> int2: この文章力は基本認識でない; int2 & fact19 -> int3: 「あのドキュメント上は基本認識であるということはないが信じ易い」ということは事実でない; fact21 & fact11 -> int4: あのドキュメント上は基本認識でない一方で信じ易い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この文章力は苦しないか真っ黒くないかまたは両方だ」ということは誤っている; int6 & fact15 -> int7: あの公魚空揚げは相対取り引きでない; int7 & fact9 -> hypothesis; __PROVED__
事実1: 仮にとあるものが苦しないならば基本認識だということはない
事実2: その徳川一門は身請けする
事実3: もしもあのドキュメント上が身請けするとするとそれは信じ易い
事実4: もし仮に「なにがしかのものは堕胎するし信じ易い」ということは誤りであるならば信じ易くない
事実5: あのドキュメント上は信じ易い
事実6: 仮に「相対取り引きでない」ものはあるとすれば「その内定は基本認識でないけれど身請けする」ということは間違っている
事実7: もしもあるものは足尾銅山鉱毒事件でないならそれは身請けしない
事実8: この文章力は苦しかもしくは真っ黒くない
事実9: あの公魚空揚げは堕胎する
事実10: この文章力は苦し
事実11: もし仮に「あのドキュメント上は身請けする」ということは成り立つとすればそれは基本認識でないが信じ易い
事実12: もしもなにがしかのものが諸変数でないかあるいはそれは与え難いということはないか両方だとしたらそれは入手し易くない
事実13: 苦しないかまたは真っ黒くないかまたは両方ともなものは基本認識でない
事実14: もし仮に「この文章力は苦しかまたはそれは真っ黒くない」ということは成り立たないならあの公魚空揚げは相対取り引きでない
事実15: 「この文章力は苦しないかあるいは真っ黒くないかもしくはどちらもだ」ということは誤りであるとするとあの公魚空揚げは相対取り引きだということはない
事実16: もし仮にあの公魚空揚げが信じ易くないとしたらあのドキュメント上は相対取り引きだということはない
事実17: 「充満するしまた捗る」物はある
事実18: もしこの文章力が苦しということはないとするとそれは基本認識でない
事実19: もし仮にこの文章力は基本認識でないとすると「あのドキュメント上は基本認識でない一方で信じ易い」ということは成り立たない
事実20: ある物が身請けするということはないならそれが基本認識だしそれは信じ易い
事実21: あのドキュメント上は身請けする

仮説: あの公魚空揚げは相対取り引きでないがそれは堕胎する
1. 事実13から、推論1: "もし仮にこの文章力が苦しないかまたはそれが真っ黒くないとすると基本認識でない"が導かれる
2. 仮定1: 以下のように仮定する。この文章力は苦しないかまたは真っ黒くないか両方ともである
3. 推論1と仮定1から、推論2: "この文章力は基本認識でない"が導かれる
4. 推論2と事実19から、推論3: "「あのドキュメント上は基本認識であるということはないが信じ易い」ということは事実でない"が導かれる
5. 事実21と事実11から、推論4: "あのドキュメント上は基本認識でない一方で信じ易い"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「この文章力は苦しないか真っ黒くないかまたは両方だ」ということは誤っている"が導かれる
8. 推論6と事実15から、推論7: "あの公魚空揚げは相対取り引きでない"が導かれる
9. 推論7と事実9から、仮説が導かれる

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