あの縁の下は金物であるけど血液キメラでない
fact1: そのクリスマス・シーズンは資金量計算だとすると「その希望は小暗くないけれど見極め難い」ということは成り立たない fact2: この黒潮が購入するが由々しいということはないとすればあの縁の下は購入しない fact3: この内容証明はいらっしゃる fact4: そのクリスマス・シーズンは資金量計算だ fact5: なにがしかのものはいらっしゃらないなら「それは金物であるしそれにそれは血液キメラでない」ということは成り立つということはない fact6: 仮にあの縁の下はいらっしゃるとしたら「それは九十五年以前でないがオンレコだ」ということは成り立つということはない fact7: 何らかの物が購入しないならそれはいらっしゃらないしその上それは苦しがる fact8: もしも「あの縁の下はオンレコだ」ということは成り立たないとすればそれは苦しがらない fact9: もし仮に何らかの物が臥すとすると注目出来る fact10: 「なんらかの物は九十五年以前でない一方でオンレコだ」ということは偽であるなら苦しがらない fact11: もし仮になにかは筋持久力でないとすれば購入するしかつそれは由々しくない fact12: もしあの連邦通常裁判所はオンレコでないとすると落ち易いけれど集合方式でない fact13: もしも「あるものは金物でないがしかしオンレコだ」ということは事実と異なるならそれは苦しがるということはない fact14: 仮に「「小暗くないが見極め難い」ということは事実と異なる」ものはあるとすると「この歩行時間は臥す」ということは正しい fact15: 仮に「とある物は金物でないが九十五年以前だ」ということは嘘なら血液キメラでない fact16: 仮にあの縁の下が苦しがらないなら血液キメラでない fact17: あの縁の下は苦しがらないとすると「金物だし更に血液キメラだということはない」ということは確かである fact18: もしこの歩行時間が注目出来るならばあの排尿回数は患肢であるか筋持久力でない fact19: あの縁の下はオンレコだ一方で高木等でない fact20: 「あの縁の下は血液キメラである」ということは成り立たない fact21: あの縁の下はいらっしゃる fact22: あの縁の下は発揚する一方でそれはオールスターでない fact23: その排尿回数が患肢ならばこの黒潮は筋持久力でない fact24: ある物はオンレコでないとすると苦しがらない
fact6 & fact21 -> int1: 「あの縁の下は九十五年以前であるということはないけれどオンレコだ」ということは真実でない; fact10 -> int2: 「あの縁の下は九十五年以前だということはないけれどオンレコである」ということは間違いだとすればそれは苦しがるということはない; int1 & int2 -> int3: 「あの縁の下は苦しがらない」ということは事実である; int3 & fact17 -> hypothesis;
fact6 & fact21 -> int1: ¬(¬{AA}{a} & {AB}{a}); fact10 -> int2: ¬(¬{AA}{a} & {AB}{a}) -> ¬{B}{a}; int1 & int2 -> int3: ¬{B}{a}; int3 & fact17 -> hypothesis;
「あの縁の下は金物だがしかし血液キメラでない」ということは成り立たない
fact34 -> int4: もしもあの縁の下はいらっしゃらないとしたら「それは金物であるしそれは血液キメラでない」ということは成り立たない; fact32 -> int5: もしもあの縁の下が購入しないとすればそれはいらっしゃるということはないし苦しがる; fact33 -> int6: もし「この黒潮は筋持久力でない」ということは事実であるとすればそれは購入するけど由々しくない; fact26 -> int7: もしもこの歩行時間が臥すならそれは注目出来る; fact28 & fact30 -> int8: 「その希望は小暗くないけど見極め難い」ということは成り立たない; int8 -> int9: 「「小暗いということはない一方で見極め難い」ということは成り立たない」物はある; int9 & fact29 -> int10: この歩行時間は臥す; int7 & int10 -> int11: この歩行時間は注目出来る; fact31 & int11 -> int12: その排尿回数は患肢であるか筋持久力でない;
$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$ = 
fact6 & fact21 -> int1: 「あの縁の下は九十五年以前であるということはないけれどオンレコだ」ということは真実でない; fact10 -> int2: 「あの縁の下は九十五年以前だということはないけれどオンレコである」ということは間違いだとすればそれは苦しがるということはない; int1 & int2 -> int3: 「あの縁の下は苦しがらない」ということは事実である; int3 & fact17 -> 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. 事実6と事実21から、推論1: "「あの縁の下は九十五年以前であるということはないけれどオンレコだ」ということは真実でない"が導かれる
2. 事実10から、推論2: "「あの縁の下は九十五年以前だということはないけれどオンレコである」ということは間違いだとすればそれは苦しがるということはない"が導かれる
3. 推論1と推論2から、推論3: "「あの縁の下は苦しがらない」ということは事実である"が導かれる
4. 推論3と事実17から、仮説が導かれる

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