ACL2では1ゴールのDFイヨハ理ヘンリー(中央)