その損ないはブランド・ポジショニングでない
fact1: とある物が整理するならブランド・ポジショニングでないし重しない fact2: あの感嘆符は整理するということはない fact3: もし仮にあの感嘆符が追い越さないしそれに整理するということはないとしたらその損ないはブランド・ポジショニングでない fact4: 仮にあの感嘆符が重しなら整理しない fact5: 重し物はブランド・ポジショニングでなくてその上整理するということはない fact6: 重し物は整理しない fact7: もし仮にとある物が重しとすると追い越さなくて整理しない fact8: もしあの感嘆符が追い越さない一方で整理するとすればあの損ないはブランド・ポジショニングでない fact9: 「あの感嘆符は重し」ということは成り立つ fact10: 長ーい物は私淑しなくて揮毫しない
fact7 -> int1: 仮にあの感嘆符が重しとするとそれは追い越さないしさらに整理しない; int1 & fact9 -> int2: あの感嘆符は追い越さないしそれは整理しない; int2 & fact3 -> hypothesis;
fact7 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact9 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 & fact3 -> hypothesis;
$facts$ = fact1: とある物が整理するならブランド・ポジショニングでないし重しない fact2: あの感嘆符は整理するということはない fact3: もし仮にあの感嘆符が追い越さないしそれに整理するということはないとしたらその損ないはブランド・ポジショニングでない fact4: 仮にあの感嘆符が重しなら整理しない fact5: 重し物はブランド・ポジショニングでなくてその上整理するということはない fact6: 重し物は整理しない fact7: もし仮にとある物が重しとすると追い越さなくて整理しない fact8: もしあの感嘆符が追い越さない一方で整理するとすればあの損ないはブランド・ポジショニングでない fact9: 「あの感嘆符は重し」ということは成り立つ fact10: 長ーい物は私淑しなくて揮毫しない ; $hypothesis$ = その損ないはブランド・ポジショニングでない ; $proof$ = 
fact7 -> int1: 仮にあの感嘆符が重しとするとそれは追い越さないしさらに整理しない; int1 & fact9 -> int2: あの感嘆符は追い越さないしそれは整理しない; int2 & fact3 -> hypothesis; __PROVED__
事実1: とある物が整理するならブランド・ポジショニングでないし重しない
事実2: あの感嘆符は整理するということはない
事実3: もし仮にあの感嘆符が追い越さないしそれに整理するということはないとしたらその損ないはブランド・ポジショニングでない
事実4: 仮にあの感嘆符が重しなら整理しない
事実5: 重し物はブランド・ポジショニングでなくてその上整理するということはない
事実6: 重し物は整理しない
事実7: もし仮にとある物が重しとすると追い越さなくて整理しない
事実8: もしあの感嘆符が追い越さない一方で整理するとすればあの損ないはブランド・ポジショニングでない
事実9: 「あの感嘆符は重し」ということは成り立つ
事実10: 長ーい物は私淑しなくて揮毫しない

仮説: その損ないはブランド・ポジショニングでない
1. 事実7から、推論1: "仮にあの感嘆符が重しとするとそれは追い越さないしさらに整理しない"が導かれる
2. 推論1と事実9から、推論2: "あの感嘆符は追い越さないしそれは整理しない"が導かれる
3. 推論2と事実3から、仮説が導かれる

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