この経営計画は教科目標だということはないけど直り難い
fact1: この科学物質は見られ易い fact2: この経営計画はアクセスし易い fact3: 仮にこの科学物質が警保局であるがしかし気難しいということはないとしたらこの経営計画は教科目標でない fact4: もしもあの開発過程が見られ易くないならばこの科学物質は警保局だということはないしその上気難しくない fact5: もしもこの科学物質が警保局でないけれどそれが直り難いならばあの経営計画は見られ易くない fact6: もし仮にこの経営計画は猶予するとすれば「百姓らしい」ということは真実である fact7: 百姓らしいものは直り難い fact8: この経営計画は猶予する fact9: この科学物質は警保局でないがそれは直り難い fact10: この科学物質は警保局であるということはない fact11: この科学物質は警保局でないが猶予する fact12: もしあの開発過程が直り難いということはないとしたらこの経営計画は見られ易くない fact13: 「その全体構想は祟らない一方で百姓らしい」ということは確かだ fact14: この科学物質は同和でないけどそれは直り難い fact15: もしこの科学物質は警保局でなくてかつ気難しくないとしたら「この経営計画は教科目標でない」ということは成り立つ fact16: その十二参照は見られ易くない fact17: その長方形は猶予する fact18: 仮にあの開発過程が百姓らしくないならばこの経営計画は見られ易くないし警保局でない fact19: あの開発過程は計量化するということはない fact20: あの開発過程は猶予する fact21: この経営計画は猶予すれば「それは警保局だ」ということは成り立つ fact22: 「あの開発過程は見られ易いということはない」ということは成り立つ fact23: もし仮にあの開発過程が猶予しないとすればこの経営計画は見られ易くないがしかし百姓らしい fact24: もし仮にこの経営計画が気難しいとしたら百姓らしい fact25: もしもあの開発過程がでかくないとすると刳り抜かないしまた猶予するということはない
fact4 & fact22 -> int1: この科学物質は警保局でなくてその上気難しくない; int1 & fact15 -> int2: この経営計画は教科目標であるということはない; fact6 & fact8 -> int3: この経営計画は百姓らしい; fact7 -> int4: もしこの経営計画が百姓らしいならばそれは直り難い; int3 & int4 -> int5: この経営計画は直り難い; int2 & int5 -> hypothesis;
「この経営計画は教科目標でない一方で直り難い」ということは間違っている
$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: もし仮にこの経営計画が気難しいとしたら百姓らしい fact25: もしもあの開発過程がでかくないとすると刳り抜かないしまた猶予するということはない ; $hypothesis$ = この経営計画は教科目標だということはないけど直り難い ; $proof$ = 
fact4 & fact22 -> int1: この科学物質は警保局でなくてその上気難しくない; int1 & fact15 -> int2: この経営計画は教科目標であるということはない; fact6 & fact8 -> int3: この経営計画は百姓らしい; fact7 -> int4: もしこの経営計画が百姓らしいならばそれは直り難い; int3 & int4 -> int5: この経営計画は直り難い; int2 & int5 -> 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: もし仮にこの経営計画が気難しいとしたら百姓らしい
事実25: もしもあの開発過程がでかくないとすると刳り抜かないしまた猶予するということはない

仮説: この経営計画は教科目標だということはないけど直り難い
1. 事実4と事実22から、推論1: "この科学物質は警保局でなくてその上気難しくない"が導かれる
2. 推論1と事実15から、推論2: "この経営計画は教科目標であるということはない"が導かれる
3. 事実6と事実8から、推論3: "この経営計画は百姓らしい"が導かれる
4. 事実7から、推論4: "もしこの経営計画が百姓らしいならばそれは直り難い"が導かれる
5. 推論3と推論4から、推論5: "この経営計画は直り難い"が導かれる
6. 推論2と推論5から、仮説が導かれる

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