각 입력 계약을 이름 있는 boolean으로 분리하면 실패한 조건을 독립적으로 볼 수 있습니다.
emailPresent = true
age>0 ∧ age≤120
valid = true
조건 이름이 문서 역할을 함
어느 계약이 실패했는지 표시
모든 조건이 true일 때만 통과
핵심: AND는 세 입력 중 하나라도 false이면 valid를 false로 만듭니다.