この浅緑は幼児中期であるということはない
fact1: もし仮にその経度が御結婚であるしおまけに住み良いとすればあの浅緑は幼児中期でない fact2: その経度は持ち難い fact3: もしもあの一ラインが御結婚であるしそれが持ち難いとするとこの浅緑は幼児中期でない fact4: もしあの一ラインが幼児中期であるし更にそれが持ち難いとすればこの浅緑は住み良くない fact5: その経度は住み良い fact6: その経度が住み良いということはないならばあの一ラインは御結婚であるかあるいはそれは持ち難いか両方だ fact7: もし仮になにがしかのものは住み良くないなら「それは御結婚だ一方で持ち難くない」ということは成り立たない fact8: その経度は引き止めるしさらに幼児中期だ fact9: 「もし仮にあの一ラインが持ち難いとするとその経度は御結婚だ」ということは成り立つ fact10: あの一ラインは持ち難い fact11: 仮にこの教条主義が住み良くないとしたらその経度は住み良いということはない fact12: 「あの一ラインはアクリル系だ」ということは成り立つ
fact9 & fact10 -> int1: その経度は御結婚だ; int1 & fact5 -> int2: その経度は御結婚でそれに住み良い; int2 & fact1 -> hypothesis;
fact9 & fact10 -> int1: {B}{b}; int1 & fact5 -> int2: ({B}{b} & {C}{b}); int2 & fact1 -> hypothesis;
あの一ラインは御結婚でない
fact14 -> int3: あの一ラインは住み良くないなら「それは御結婚だ一方で持ち難くない」ということは間違っている; fact13 -> int4: その経度は幼児中期である; int4 -> int5: 幼児中期はある;
$facts$ = fact1: もし仮にその経度が御結婚であるしおまけに住み良いとすればあの浅緑は幼児中期でない fact2: その経度は持ち難い fact3: もしもあの一ラインが御結婚であるしそれが持ち難いとするとこの浅緑は幼児中期でない fact4: もしあの一ラインが幼児中期であるし更にそれが持ち難いとすればこの浅緑は住み良くない fact5: その経度は住み良い fact6: その経度が住み良いということはないならばあの一ラインは御結婚であるかあるいはそれは持ち難いか両方だ fact7: もし仮になにがしかのものは住み良くないなら「それは御結婚だ一方で持ち難くない」ということは成り立たない fact8: その経度は引き止めるしさらに幼児中期だ fact9: 「もし仮にあの一ラインが持ち難いとするとその経度は御結婚だ」ということは成り立つ fact10: あの一ラインは持ち難い fact11: 仮にこの教条主義が住み良くないとしたらその経度は住み良いということはない fact12: 「あの一ラインはアクリル系だ」ということは成り立つ ; $hypothesis$ = この浅緑は幼児中期であるということはない ; $proof$ = 
fact9 & fact10 -> int1: その経度は御結婚だ; int1 & fact5 -> int2: その経度は御結婚でそれに住み良い; int2 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にその経度が御結婚であるしおまけに住み良いとすればあの浅緑は幼児中期でない
事実2: その経度は持ち難い
事実3: もしもあの一ラインが御結婚であるしそれが持ち難いとするとこの浅緑は幼児中期でない
事実4: もしあの一ラインが幼児中期であるし更にそれが持ち難いとすればこの浅緑は住み良くない
事実5: その経度は住み良い
事実6: その経度が住み良いということはないならばあの一ラインは御結婚であるかあるいはそれは持ち難いか両方だ
事実7: もし仮になにがしかのものは住み良くないなら「それは御結婚だ一方で持ち難くない」ということは成り立たない
事実8: その経度は引き止めるしさらに幼児中期だ
事実9: 「もし仮にあの一ラインが持ち難いとするとその経度は御結婚だ」ということは成り立つ
事実10: あの一ラインは持ち難い
事実11: 仮にこの教条主義が住み良くないとしたらその経度は住み良いということはない
事実12: 「あの一ラインはアクリル系だ」ということは成り立つ

仮説: この浅緑は幼児中期であるということはない
1. 事実9と事実10から、推論1: "その経度は御結婚だ"が導かれる
2. 推論1と事実5から、推論2: "その経度は御結婚でそれに住み良い"が導かれる
3. 推論2と事実1から、仮説が導かれる

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