「「執行出来るしさらに見向きでない」ということは成り立たないなら「貫入する」ということは正しい」ものはある
fact1: 仮に「「このメチル基は執行出来るけどそれは見向きでない」ということは本当だ」ということは事実であるということはないとすれば貫入する
$facts$ = fact1: 仮に「「このメチル基は執行出来るけどそれは見向きでない」ということは本当だ」ということは事実であるということはないとすれば貫入する ; $hypothesis$ = 「「執行出来るしさらに見向きでない」ということは成り立たないなら「貫入する」ということは正しい」ものはある ; $proof$ = 
事実1: 仮に「「このメチル基は執行出来るけどそれは見向きでない」ということは本当だ」ということは事実であるということはないとすれば貫入する

仮説: 「「執行出来るしさらに見向きでない」ということは成り立たないなら「貫入する」ということは正しい」ものはある