「このアダージョ・グラツィオーソは相互作用しないがしかし恥じ入る」ということは本当だ
fact1: 「このアダージョ・グラツィオーソは日本中であるということはない」ということは真実だ fact2: 仮にこのアダージョ・グラツィオーソは日本中でないならば相互作用するということはないが恥じ入る
$facts$ = fact1: 「このアダージョ・グラツィオーソは日本中であるということはない」ということは真実だ fact2: 仮にこのアダージョ・グラツィオーソは日本中でないならば相互作用するということはないが恥じ入る ; $hypothesis$ = 「このアダージョ・グラツィオーソは相互作用しないがしかし恥じ入る」ということは本当だ ; $proof$ = 
事実1: 「このアダージョ・グラツィオーソは日本中であるということはない」ということは真実だ
事実2: 仮にこのアダージョ・グラツィオーソは日本中でないならば相互作用するということはないが恥じ入る

仮説: 「このアダージョ・グラツィオーソは相互作用しないがしかし恥じ入る」ということは本当だ