あの集積度は自然増殖しない
fact1: この設定車種は同参同見でない一方で跡付けるとしたら吸収し易い fact2: もしあの集積度は吸収し易いしそれに眺め続ければ三葉住宅さんでない fact3: もしもあの集積度は三葉住宅さんだけど目立ちたがり屋でないとすれば「自然増殖しない」ということは事実である fact4: この二品が眺め続ければこの設定車種は三葉住宅さんだ fact5: もし仮にこの二品は吸収し易いとすると「この設定車種は三葉住宅さんである」ということは確かである fact6: もしこの設定車種が三葉住宅さんであるとしたらあの集積度は三葉住宅さんであるが目立ちたがり屋でない fact7: 仮に吸収し易い物が眺め続けるということはないとすれば自然増殖しない fact8: この二品は吸収し易いかもしくはそれは眺め続けるか両方だ
fact8 & fact5 & fact4 -> int1: この設定車種は三葉住宅さんだ; int1 & fact6 -> int2: あの集積度は三葉住宅さんだ一方で目立ちたがり屋であるということはない; int2 & fact3 -> hypothesis;
fact8 & fact5 & fact4 -> int1: {C}{c}; int1 & fact6 -> int2: ({C}{b} & ¬{E}{b}); int2 & fact3 -> hypothesis;
この設定車種は自然増殖するということはない
fact10 -> int3: もしこの設定車種が吸収し易いがしかしそれは眺め続けないとすると「それは自然増殖するということはない」ということは真実である;
$facts$ = fact1: この設定車種は同参同見でない一方で跡付けるとしたら吸収し易い fact2: もしあの集積度は吸収し易いしそれに眺め続ければ三葉住宅さんでない fact3: もしもあの集積度は三葉住宅さんだけど目立ちたがり屋でないとすれば「自然増殖しない」ということは事実である fact4: この二品が眺め続ければこの設定車種は三葉住宅さんだ fact5: もし仮にこの二品は吸収し易いとすると「この設定車種は三葉住宅さんである」ということは確かである fact6: もしこの設定車種が三葉住宅さんであるとしたらあの集積度は三葉住宅さんであるが目立ちたがり屋でない fact7: 仮に吸収し易い物が眺め続けるということはないとすれば自然増殖しない fact8: この二品は吸収し易いかもしくはそれは眺め続けるか両方だ ; $hypothesis$ = あの集積度は自然増殖しない ; $proof$ = 
fact8 & fact5 & fact4 -> int1: この設定車種は三葉住宅さんだ; int1 & fact6 -> int2: あの集積度は三葉住宅さんだ一方で目立ちたがり屋であるということはない; int2 & fact3 -> hypothesis; __PROVED__
事実1: この設定車種は同参同見でない一方で跡付けるとしたら吸収し易い
事実2: もしあの集積度は吸収し易いしそれに眺め続ければ三葉住宅さんでない
事実3: もしもあの集積度は三葉住宅さんだけど目立ちたがり屋でないとすれば「自然増殖しない」ということは事実である
事実4: この二品が眺め続ければこの設定車種は三葉住宅さんだ
事実5: もし仮にこの二品は吸収し易いとすると「この設定車種は三葉住宅さんである」ということは確かである
事実6: もしこの設定車種が三葉住宅さんであるとしたらあの集積度は三葉住宅さんであるが目立ちたがり屋でない
事実7: 仮に吸収し易い物が眺め続けるということはないとすれば自然増殖しない
事実8: この二品は吸収し易いかもしくはそれは眺め続けるか両方だ

仮説: あの集積度は自然増殖しない
1. 事実8と事実5と事実4から、推論1: "この設定車種は三葉住宅さんだ"が導かれる
2. 推論1と事実6から、推論2: "あの集積度は三葉住宅さんだ一方で目立ちたがり屋であるということはない"が導かれる
3. 推論2と事実3から、仮説が導かれる

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