잉여속성검사?

잉여속성검사를 통과하기 위해 객체를 따로 선언해서 할당하면 된다고 하셨는데 이전에 했던 타입 상속 코드를 조금 고쳐서 객체를 선언해서 해보니까

'{ breath: boolean; breed: boolean; think: boolean; hungry: boolean; }' 형식은 'Human' 형식에 할당할 수 없습니다. '{ breath: boolean; breed: boolean; think: boolean; hungry: boolean; }' 형식은 'Animal' 형식에 할당할 수 없습니다. 'breath' 속성의 형식이 호환되지 않습니다. 'boolean' 형식은 'true' 형식에 할당할 수 없습니다.이렇게 뜨는데 이유가 무었인가요?

type Animal = {breath: true} 
type Mammal = Animal&{breed: true} 
type Human = Mammal& {think : true} 
const test = {breath : true ,breed : true, think : true, hungry:true } 
const sumin: Human = test

type AA = {name:string}
type BB = {age :number}
type AB = AA|BB
type C = AA&BB 
const ab:AB = {name:'suhyeon'}

const obj5 = {name:'suhyeon',age:25,married:true} // 객체를 따로 변수로 빼서 할당하면 가능
const cc:C = obj5

왜 위에 코드는 되고 아래코드는 안되는지 궁금합니다!