この子年は生い茂る
fact1: この子年は保ち易い fact2: もしあの金融支援が観光植民地でないならばこの子年は興味本位だ fact3: あのオイルマッサージは決断する fact4: 「その政策立案者は憎くない」ということは成り立つ fact5: この燦々館は同一条件だということはないが狡い fact6: 「そのＣ／Ａコードは悪戯っぽい」ということは成り立つ fact7: その杏仁は決断する fact8: もしその運転手役が着せがましいとするとそのＣ／Ａコードは入り易い fact9: そのＣ／Ａコードは舗装工事業である fact10: この子年が興味本位だとすればそれは生い茂る fact11: もしもその杏仁が決断するとしたらその政策立案者は同一条件であるということはないが両極化する fact12: その政策立案者は着せがましかない一方でそれは両極化する fact13: もしそのＣ／Ａコードが入り易くて悪戯っぽいとしたらあの金融支援は観光植民地でない fact14: その杏仁は両極化するということはないけれど第九巻所収である fact15: 仮にその政策立案者が同一条件でないけどそれは両極化するとしたら「その運転手役は着せがましい」ということは成り立つ fact16: その杏仁は入り易い
fact11 & fact7 -> int1: その政策立案者は同一条件でない一方で両極化する; int1 & fact15 -> int2: その運転手役は着せがましい; int2 & fact8 -> int3: そのＣ／Ａコードは入り易い; int3 & fact6 -> int4: そのＣ／Ａコードは入り易いし悪戯っぽい; int4 & fact13 -> int5: あの金融支援は観光植民地でない; int5 & fact2 -> int6: 「この子年は興味本位だ」ということは確かだ; int6 & fact10 -> hypothesis;
$facts$ = fact1: この子年は保ち易い fact2: もしあの金融支援が観光植民地でないならばこの子年は興味本位だ fact3: あのオイルマッサージは決断する fact4: 「その政策立案者は憎くない」ということは成り立つ fact5: この燦々館は同一条件だということはないが狡い fact6: 「そのＣ／Ａコードは悪戯っぽい」ということは成り立つ fact7: その杏仁は決断する fact8: もしその運転手役が着せがましいとするとそのＣ／Ａコードは入り易い fact9: そのＣ／Ａコードは舗装工事業である fact10: この子年が興味本位だとすればそれは生い茂る fact11: もしもその杏仁が決断するとしたらその政策立案者は同一条件であるということはないが両極化する fact12: その政策立案者は着せがましかない一方でそれは両極化する fact13: もしそのＣ／Ａコードが入り易くて悪戯っぽいとしたらあの金融支援は観光植民地でない fact14: その杏仁は両極化するということはないけれど第九巻所収である fact15: 仮にその政策立案者が同一条件でないけどそれは両極化するとしたら「その運転手役は着せがましい」ということは成り立つ fact16: その杏仁は入り易い ; $hypothesis$ = この子年は生い茂る ; $proof$ = 
fact11 & fact7 -> int1: その政策立案者は同一条件でない一方で両極化する; int1 & fact15 -> int2: その運転手役は着せがましい; int2 & fact8 -> int3: そのＣ／Ａコードは入り易い; int3 & fact6 -> int4: そのＣ／Ａコードは入り易いし悪戯っぽい; int4 & fact13 -> int5: あの金融支援は観光植民地でない; int5 & fact2 -> int6: 「この子年は興味本位だ」ということは確かだ; int6 & fact10 -> hypothesis; __PROVED__
事実1: この子年は保ち易い
事実2: もしあの金融支援が観光植民地でないならばこの子年は興味本位だ
事実3: あのオイルマッサージは決断する
事実4: 「その政策立案者は憎くない」ということは成り立つ
事実5: この燦々館は同一条件だということはないが狡い
事実6: 「そのＣ／Ａコードは悪戯っぽい」ということは成り立つ
事実7: その杏仁は決断する
事実8: もしその運転手役が着せがましいとするとそのＣ／Ａコードは入り易い
事実9: そのＣ／Ａコードは舗装工事業である
事実10: この子年が興味本位だとすればそれは生い茂る
事実11: もしもその杏仁が決断するとしたらその政策立案者は同一条件であるということはないが両極化する
事実12: その政策立案者は着せがましかない一方でそれは両極化する
事実13: もしそのＣ／Ａコードが入り易くて悪戯っぽいとしたらあの金融支援は観光植民地でない
事実14: その杏仁は両極化するということはないけれど第九巻所収である
事実15: 仮にその政策立案者が同一条件でないけどそれは両極化するとしたら「その運転手役は着せがましい」ということは成り立つ
事実16: その杏仁は入り易い

仮説: この子年は生い茂る
1. 事実11と事実7から、推論1: "その政策立案者は同一条件でない一方で両極化する"が導かれる
2. 推論1と事実15から、推論2: "その運転手役は着せがましい"が導かれる
3. 推論2と事実8から、推論3: "そのＣ／Ａコードは入り易い"が導かれる
4. 推論3と事実6から、推論4: "そのＣ／Ａコードは入り易いし悪戯っぽい"が導かれる
5. 推論4と事実13から、推論5: "あの金融支援は観光植民地でない"が導かれる
6. 推論5と事実2から、推論6: "「この子年は興味本位だ」ということは確かだ"が導かれる
7. 推論6と事実10から、仮説が導かれる

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