簡単な論理式すら証明できないのにペタペタコピペしても無駄