IsA
大前提