この千九百七十年頃はブランドらしくない
fact1: もしなにかはブランドらしいならば「実現し易いしそれにそれは感情型だ」ということは真実でない fact2: もし仮に何かは決定付けるとすればブランドらしい fact3: もしなにかは感情型なら「実現し易くないし更にそれは慎み深い」ということは成り立たない fact4: そのニーズアセスメントは上場企業でそれは精神神経免疫学だ fact5: 「そのニーズアセスメントは実現し易いということはない一方でそれは慎み深い」ということは誤りだとすればこの千九百七十年頃はブランドらしくない fact6: もしなにかは決定付けないなら思量すしさらに感情型だ fact7: そのニーズアセスメントは感情型であるし思量す fact8: そのニーズアセスメントはブランドらしいとすれば「それは実現し易くないしその上それは感情型である」ということは偽である fact9: なんらかのものはマルバリアンでないとしたらそれは決定付ける fact10: もしそのニーズアセスメントが実現し易いとするとこの千九百七十年頃はブランドらしくない
fact3 -> int1: もし仮にそのニーズアセスメントは感情型だとすれば「それは実現し易いということはないが慎み深い」ということは事実でない; fact7 -> int2: そのニーズアセスメントは感情型である; int1 & int2 -> int3: 「そのニーズアセスメントは実現し易いということはないけれど慎み深い」ということは成り立つということはない; int3 & fact5 -> hypothesis;
この千九百七十年頃はブランドらしい
fact11 -> int4: もしこの千九百七十年頃が決定付けないなら思量すし更に感情型である;
$facts$ = fact1: もしなにかはブランドらしいならば「実現し易いしそれにそれは感情型だ」ということは真実でない fact2: もし仮に何かは決定付けるとすればブランドらしい fact3: もしなにかは感情型なら「実現し易くないし更にそれは慎み深い」ということは成り立たない fact4: そのニーズアセスメントは上場企業でそれは精神神経免疫学だ fact5: 「そのニーズアセスメントは実現し易いということはない一方でそれは慎み深い」ということは誤りだとすればこの千九百七十年頃はブランドらしくない fact6: もしなにかは決定付けないなら思量すしさらに感情型だ fact7: そのニーズアセスメントは感情型であるし思量す fact8: そのニーズアセスメントはブランドらしいとすれば「それは実現し易くないしその上それは感情型である」ということは偽である fact9: なんらかのものはマルバリアンでないとしたらそれは決定付ける fact10: もしそのニーズアセスメントが実現し易いとするとこの千九百七十年頃はブランドらしくない ; $hypothesis$ = この千九百七十年頃はブランドらしくない ; $proof$ = 
fact3 -> int1: もし仮にそのニーズアセスメントは感情型だとすれば「それは実現し易いということはないが慎み深い」ということは事実でない; fact7 -> int2: そのニーズアセスメントは感情型である; int1 & int2 -> int3: 「そのニーズアセスメントは実現し易いということはないけれど慎み深い」ということは成り立つということはない; int3 & fact5 -> hypothesis; __PROVED__
事実1: もしなにかはブランドらしいならば「実現し易いしそれにそれは感情型だ」ということは真実でない
事実2: もし仮に何かは決定付けるとすればブランドらしい
事実3: もしなにかは感情型なら「実現し易くないし更にそれは慎み深い」ということは成り立たない
事実4: そのニーズアセスメントは上場企業でそれは精神神経免疫学だ
事実5: 「そのニーズアセスメントは実現し易いということはない一方でそれは慎み深い」ということは誤りだとすればこの千九百七十年頃はブランドらしくない
事実6: もしなにかは決定付けないなら思量すしさらに感情型だ
事実7: そのニーズアセスメントは感情型であるし思量す
事実8: そのニーズアセスメントはブランドらしいとすれば「それは実現し易くないしその上それは感情型である」ということは偽である
事実9: なんらかのものはマルバリアンでないとしたらそれは決定付ける
事実10: もしそのニーズアセスメントが実現し易いとするとこの千九百七十年頃はブランドらしくない

仮説: この千九百七十年頃はブランドらしくない
1. 事実3から、推論1: "もし仮にそのニーズアセスメントは感情型だとすれば「それは実現し易いということはないが慎み深い」ということは事実でない"が導かれる
2. 事実7から、推論2: "そのニーズアセスメントは感情型である"が導かれる
3. 推論1と推論2から、推論3: "「そのニーズアセスメントは実現し易いということはないけれど慎み深い」ということは成り立つということはない"が導かれる
4. 推論3と事実5から、仮説が導かれる

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