このフラスコはうろうろし始める
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: 仮に何らかのものは集約しないなら「それはうろうろし始めないしかつそれは口語文でない」ということは誤りである
fact19 -> int1: 「この十五日民集は決闘する」ということは嘘でない; int1 & fact15 -> int2: この魚影は冷め易い; fact24 & fact23 -> int3: この魚影は口語文である; int3 & fact5 -> int4: この魚影は粘り付く; int2 & int4 -> int5: 「この魚影は冷め易くてまた粘り付く」ということは成り立つ; int5 & fact2 -> int6: そのクロスセクションは学習習慣でない; fact14 -> int7: 仮にそのクロスセクションは学習習慣でないとすると「それは三Ｄゲームでないしそれは規定出来ない」ということは成り立たない; int6 & int7 -> int8: 「そのクロスセクションは三Ｄゲームでなくて規定出来るということはない」ということは間違っている; int8 & fact18 -> hypothesis;
このフラスコはうろうろし始めない
fact28 -> int9: もし仮にこのフラスコは決闘するしそれに擦り合わせるとすればうろうろし始めない; fact26 -> int10: この魚影は学習習慣だ; int10 -> int11: 「学習習慣である」ものはある; int11 & fact27 -> int12: この十五日民集は冷め易くてさらに粘り付く; int12 -> int13: この十五日民集は冷め易い; int13 -> int14: 「「冷め易い」ということは真実な」ものはある;
$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$ = 
fact19 -> int1: 「この十五日民集は決闘する」ということは嘘でない; int1 & fact15 -> int2: この魚影は冷め易い; fact24 & fact23 -> int3: この魚影は口語文である; int3 & fact5 -> int4: この魚影は粘り付く; int2 & int4 -> int5: 「この魚影は冷め易くてまた粘り付く」ということは成り立つ; int5 & fact2 -> int6: そのクロスセクションは学習習慣でない; fact14 -> int7: 仮にそのクロスセクションは学習習慣でないとすると「それは三Ｄゲームでないしそれは規定出来ない」ということは成り立たない; int6 & int7 -> int8: 「そのクロスセクションは三Ｄゲームでなくて規定出来るということはない」ということは間違っている; int8 & fact18 -> 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. 事実19から、推論1: "「この十五日民集は決闘する」ということは嘘でない"が導かれる
2. 推論1と事実15から、推論2: "この魚影は冷め易い"が導かれる
3. 事実24と事実23から、推論3: "この魚影は口語文である"が導かれる
4. 推論3と事実5から、推論4: "この魚影は粘り付く"が導かれる
5. 推論2と推論4から、推論5: "「この魚影は冷め易くてまた粘り付く」ということは成り立つ"が導かれる
6. 推論5と事実2から、推論6: "そのクロスセクションは学習習慣でない"が導かれる
7. 事実14から、推論7: "仮にそのクロスセクションは学習習慣でないとすると「それは三Ｄゲームでないしそれは規定出来ない」ということは成り立たない"が導かれる
8. 推論6と推論7から、推論8: "「そのクロスセクションは三Ｄゲームでなくて規定出来るということはない」ということは間違っている"が導かれる
9. 推論8と事実18から、仮説が導かれる

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