この自分用は予測する
fact1: この自分用は観察出来ない fact2: 頑是無いしかつ清しものはカフリンクスでない fact3: 仮に何らかのものが予測するがそれが手緩くないならカフリンクスであるということはない fact4: この自分用は覆い被さる fact5: この自分用は蔑視する fact6: もし仮にこの自分用が観察出来るということはないとしたらそれは清しということはない fact7: この具象性は観察出来ない fact8: このリラクゼーションは観察出来る fact9: もしもこの自分用が手緩いなら予測する fact10: 仮にこの資本コストが観察出来るけれど坂上等だということはないとしたら自然らしくない fact11: もしこの自分用が観察出来ないとするとそれは頑是無いけれど清しない fact12: 仮にこの自分用は頑是無いししかも清しならばそれはカフリンクスでない fact13: もしある物はカフリンクスでないとしたらそれは手緩い fact14: もしこの中核市が手緩いとするとこの自分用は予測しない fact15: 頑是無い物が清しということはないとするとカフリンクスでない fact16: あの関数データベースは予測しない
fact15 -> int1: この自分用は頑是無いがしかし清しないとすればそれはカフリンクスでない; fact1 & fact11 -> int2: この自分用は頑是無いけれど清しない; int1 & int2 -> int3: この自分用はカフリンクスでない; fact13 -> int4: もしもこの自分用はカフリンクスでないならばそれは手緩い; int3 & int4 -> int5: この自分用は手緩い; int5 & fact9 -> hypothesis;
この自分用は予測しない
$facts$ = fact1: この自分用は観察出来ない fact2: 頑是無いしかつ清しものはカフリンクスでない fact3: 仮に何らかのものが予測するがそれが手緩くないならカフリンクスであるということはない fact4: この自分用は覆い被さる fact5: この自分用は蔑視する fact6: もし仮にこの自分用が観察出来るということはないとしたらそれは清しということはない fact7: この具象性は観察出来ない fact8: このリラクゼーションは観察出来る fact9: もしもこの自分用が手緩いなら予測する fact10: 仮にこの資本コストが観察出来るけれど坂上等だということはないとしたら自然らしくない fact11: もしこの自分用が観察出来ないとするとそれは頑是無いけれど清しない fact12: 仮にこの自分用は頑是無いししかも清しならばそれはカフリンクスでない fact13: もしある物はカフリンクスでないとしたらそれは手緩い fact14: もしこの中核市が手緩いとするとこの自分用は予測しない fact15: 頑是無い物が清しということはないとするとカフリンクスでない fact16: あの関数データベースは予測しない ; $hypothesis$ = この自分用は予測する ; $proof$ = 
fact15 -> int1: この自分用は頑是無いがしかし清しないとすればそれはカフリンクスでない; fact1 & fact11 -> int2: この自分用は頑是無いけれど清しない; int1 & int2 -> int3: この自分用はカフリンクスでない; fact13 -> int4: もしもこの自分用はカフリンクスでないならばそれは手緩い; int3 & int4 -> int5: この自分用は手緩い; int5 & fact9 -> hypothesis; __PROVED__
事実1: この自分用は観察出来ない
事実2: 頑是無いしかつ清しものはカフリンクスでない
事実3: 仮に何らかのものが予測するがそれが手緩くないならカフリンクスであるということはない
事実4: この自分用は覆い被さる
事実5: この自分用は蔑視する
事実6: もし仮にこの自分用が観察出来るということはないとしたらそれは清しということはない
事実7: この具象性は観察出来ない
事実8: このリラクゼーションは観察出来る
事実9: もしもこの自分用が手緩いなら予測する
事実10: 仮にこの資本コストが観察出来るけれど坂上等だということはないとしたら自然らしくない
事実11: もしこの自分用が観察出来ないとするとそれは頑是無いけれど清しない
事実12: 仮にこの自分用は頑是無いししかも清しならばそれはカフリンクスでない
事実13: もしある物はカフリンクスでないとしたらそれは手緩い
事実14: もしこの中核市が手緩いとするとこの自分用は予測しない
事実15: 頑是無い物が清しということはないとするとカフリンクスでない
事実16: あの関数データベースは予測しない

仮説: この自分用は予測する
1. 事実15から、推論1: "この自分用は頑是無いがしかし清しないとすればそれはカフリンクスでない"が導かれる
2. 事実1と事実11から、推論2: "この自分用は頑是無いけれど清しない"が導かれる
3. 推論1と推論2から、推論3: "この自分用はカフリンクスでない"が導かれる
4. 事実13から、推論4: "もしもこの自分用はカフリンクスでないならばそれは手緩い"が導かれる
5. 推論3と推論4から、推論5: "この自分用は手緩い"が導かれる
6. 推論5と事実9から、仮説が導かれる

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