「あのアダージョ・グラツィオーソは阻害するということはない」ということは確かである
fact1: もしもあのアダージョ・グラツィオーソは変え為さるがしかし略記しないとしたらそれは阻害するということはない fact2: あのアダージョ・グラツィオーソは変え為さるけれど略記しない
$facts$ = fact1: もしもあのアダージョ・グラツィオーソは変え為さるがしかし略記しないとしたらそれは阻害するということはない fact2: あのアダージョ・グラツィオーソは変え為さるけれど略記しない ; $hypothesis$ = 「あのアダージョ・グラツィオーソは阻害するということはない」ということは確かである ; $proof$ = 
事実1: もしもあのアダージョ・グラツィオーソは変え為さるがしかし略記しないとしたらそれは阻害するということはない
事実2: あのアダージョ・グラツィオーソは変え為さるけれど略記しない

仮説: 「あのアダージョ・グラツィオーソは阻害するということはない」ということは確かである