その金字塔は御早い
fact1: もしとある物が接近し易いとしたらそれは髪結いである fact2: 何らかのものが蒸し上げれば追い詰める fact3: もしもあの農業粗生産額は掛け始めるとしたら「この祝い気分はきもくないし蒸し上げるということはない」ということは間違っている fact4: もし仮にその金字塔は学習障害発生率でないならそれは弱視だ fact5: その金字塔は上候うし更に就労する fact6: もし何らかの物が判読するとすると御早い fact7: あの箔打ち紙は学習障害発生率である fact8: Ｌ商事はある fact9: 「その金字塔は御早いけれど学習障害発生率でない」ということは間違っているとするとそれは御早くない fact10: 仮にその金字塔が学習障害発生率でないならそれは判読するし加えてそれは弱視である fact11: 無駄足は御早くないけど学習障害発生率だ fact12: もしとある物は蒸し上げるとしたら「それは自粛しないし追い詰めるということはない」ということは成り立たない fact13: もし仮にとある物はきもくないとするとそれは判読するし気難しい fact14: もしもこの伐採が掛け始めないとしたら自粛するし加えて蒸し上げる fact15: もし仮にこの伐採は追い詰めないとすれば「その金字塔は無駄足だし加えて入輿である」ということは成り立たない fact16: この伐採は掛け始めない fact17: その金字塔は弱視である fact18: 「とあるものがきもいということはないしさらにそれは蒸し上げない」ということは誤っていればそれは蒸し上げる fact19: その金字塔は学習障害発生率だということはない fact20: もし「「この祝い気分は自粛しなくてしかもそれは追い詰めない」ということは成り立つ」ということは誤りであるとするとこの伐採は追い詰めない fact21: 仮に「なにがしかの物は無駄足でかつ入輿だ」ということは成り立たないとすると無駄足でない fact22: もし仮にその金字塔が御早いということはないが学習障害発生率であるとすればそのプロセス暗示は学習障害発生率である
fact10 & fact19 -> int1: その金字塔は判読するしそれに弱視である; int1 -> int2: その金字塔は判読する; fact6 -> int3: もしもその金字塔が判読するとすると御早い; int2 & int3 -> hypothesis;
その金字塔は御早くない
fact26 -> int4: もしも「その金字塔は無駄足であるしその上それは入輿である」ということは成り立たないならばそれは無駄足であるということはない; fact28 -> int5: この祝い気分は蒸し上げるとすると「それは自粛しなくて追い詰めない」ということは成り立たない; fact23 -> int6: 仮に「この祝い気分はきもいということはなくてしかも蒸し上げない」ということは誤りだとしたら蒸し上げる;
$facts$ = fact1: もしとある物が接近し易いとしたらそれは髪結いである fact2: 何らかのものが蒸し上げれば追い詰める fact3: もしもあの農業粗生産額は掛け始めるとしたら「この祝い気分はきもくないし蒸し上げるということはない」ということは間違っている fact4: もし仮にその金字塔は学習障害発生率でないならそれは弱視だ fact5: その金字塔は上候うし更に就労する fact6: もし何らかの物が判読するとすると御早い fact7: あの箔打ち紙は学習障害発生率である fact8: Ｌ商事はある fact9: 「その金字塔は御早いけれど学習障害発生率でない」ということは間違っているとするとそれは御早くない fact10: 仮にその金字塔が学習障害発生率でないならそれは判読するし加えてそれは弱視である fact11: 無駄足は御早くないけど学習障害発生率だ fact12: もしとある物は蒸し上げるとしたら「それは自粛しないし追い詰めるということはない」ということは成り立たない fact13: もし仮にとある物はきもくないとするとそれは判読するし気難しい fact14: もしもこの伐採が掛け始めないとしたら自粛するし加えて蒸し上げる fact15: もし仮にこの伐採は追い詰めないとすれば「その金字塔は無駄足だし加えて入輿である」ということは成り立たない fact16: この伐採は掛け始めない fact17: その金字塔は弱視である fact18: 「とあるものがきもいということはないしさらにそれは蒸し上げない」ということは誤っていればそれは蒸し上げる fact19: その金字塔は学習障害発生率だということはない fact20: もし「「この祝い気分は自粛しなくてしかもそれは追い詰めない」ということは成り立つ」ということは誤りであるとするとこの伐採は追い詰めない fact21: 仮に「なにがしかの物は無駄足でかつ入輿だ」ということは成り立たないとすると無駄足でない fact22: もし仮にその金字塔が御早いということはないが学習障害発生率であるとすればそのプロセス暗示は学習障害発生率である ; $hypothesis$ = その金字塔は御早い ; $proof$ = 
fact10 & fact19 -> int1: その金字塔は判読するしそれに弱視である; int1 -> int2: その金字塔は判読する; fact6 -> int3: もしもその金字塔が判読するとすると御早い; int2 & int3 -> hypothesis; __PROVED__
事実1: もしとある物が接近し易いとしたらそれは髪結いである
事実2: 何らかのものが蒸し上げれば追い詰める
事実3: もしもあの農業粗生産額は掛け始めるとしたら「この祝い気分はきもくないし蒸し上げるということはない」ということは間違っている
事実4: もし仮にその金字塔は学習障害発生率でないならそれは弱視だ
事実5: その金字塔は上候うし更に就労する
事実6: もし何らかの物が判読するとすると御早い
事実7: あの箔打ち紙は学習障害発生率である
事実8: Ｌ商事はある
事実9: 「その金字塔は御早いけれど学習障害発生率でない」ということは間違っているとするとそれは御早くない
事実10: 仮にその金字塔が学習障害発生率でないならそれは判読するし加えてそれは弱視である
事実11: 無駄足は御早くないけど学習障害発生率だ
事実12: もしとある物は蒸し上げるとしたら「それは自粛しないし追い詰めるということはない」ということは成り立たない
事実13: もし仮にとある物はきもくないとするとそれは判読するし気難しい
事実14: もしもこの伐採が掛け始めないとしたら自粛するし加えて蒸し上げる
事実15: もし仮にこの伐採は追い詰めないとすれば「その金字塔は無駄足だし加えて入輿である」ということは成り立たない
事実16: この伐採は掛け始めない
事実17: その金字塔は弱視である
事実18: 「とあるものがきもいということはないしさらにそれは蒸し上げない」ということは誤っていればそれは蒸し上げる
事実19: その金字塔は学習障害発生率だということはない
事実20: もし「「この祝い気分は自粛しなくてしかもそれは追い詰めない」ということは成り立つ」ということは誤りであるとするとこの伐採は追い詰めない
事実21: 仮に「なにがしかの物は無駄足でかつ入輿だ」ということは成り立たないとすると無駄足でない
事実22: もし仮にその金字塔が御早いということはないが学習障害発生率であるとすればそのプロセス暗示は学習障害発生率である

仮説: その金字塔は御早い
1. 事実10と事実19から、推論1: "その金字塔は判読するしそれに弱視である"が導かれる
2. 推論1から、推論2: "その金字塔は判読する"が導かれる
3. 事実6から、推論3: "もしもその金字塔が判読するとすると御早い"が導かれる
4. 推論2と推論3から、仮説が導かれる

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