「「もし管掌するということはないとすると展示しない」物はある」ということは成り立たない
fact1: もしあのシナモンパウダーが管掌するとすればそれは能・狂言でない fact2: 仮に何らかのものが管掌しないとするとそれは展示する fact3: もしなんらかのものが管掌しないとするとそれは展示しない fact4: なにかは管掌するとすれば展示しない fact5: 仮にあのシナモンパウダーが管掌しないとすると展示する fact6: 「文字毎でないなら防護しない」ものはある fact7: 「仮に管掌すれば展示しない」物はある
fact3 -> int1: もし仮にあのシナモンパウダーが管掌するということはないとしたらそれは展示するということはない; int1 -> hypothesis;
$facts$ = fact1: もしあのシナモンパウダーが管掌するとすればそれは能・狂言でない fact2: 仮に何らかのものが管掌しないとするとそれは展示する fact3: もしなんらかのものが管掌しないとするとそれは展示しない fact4: なにかは管掌するとすれば展示しない fact5: 仮にあのシナモンパウダーが管掌しないとすると展示する fact6: 「文字毎でないなら防護しない」ものはある fact7: 「仮に管掌すれば展示しない」物はある ; $hypothesis$ = 「「もし管掌するということはないとすると展示しない」物はある」ということは成り立たない ; $proof$ = 
fact3 -> int1: もし仮にあのシナモンパウダーが管掌するということはないとしたらそれは展示するということはない; int1 -> hypothesis; __DISPROVED__
事実1: もしあのシナモンパウダーが管掌するとすればそれは能・狂言でない
事実2: 仮に何らかのものが管掌しないとするとそれは展示する
事実3: もしなんらかのものが管掌しないとするとそれは展示しない
事実4: なにかは管掌するとすれば展示しない
事実5: 仮にあのシナモンパウダーが管掌しないとすると展示する
事実6: 「文字毎でないなら防護しない」ものはある
事実7: 「仮に管掌すれば展示しない」物はある

仮説: 「「もし管掌するということはないとすると展示しない」物はある」ということは成り立たない
1. 事実3から、推論1: "もし仮にあのシナモンパウダーが管掌するということはないとしたらそれは展示するということはない"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。