「「掛け難くないならば研究開発するしおまけにちんするということはない」ものはある」ということは成り立つということはない
fact1: 仮にあのアレグロが掛け難くないとしたら研究開発するしちんしない
$facts$ = fact1: 仮にあのアレグロが掛け難くないとしたら研究開発するしちんしない ; $hypothesis$ = 「「掛け難くないならば研究開発するしおまけにちんするということはない」ものはある」ということは成り立つということはない ; $proof$ = 
事実1: 仮にあのアレグロが掛け難くないとしたら研究開発するしちんしない

仮説: 「「掛け難くないならば研究開発するしおまけにちんするということはない」ものはある」ということは成り立つということはない