translation.en: $answer$ ; $proof$ ; $question$ = The cat is not cold. ; $context$ = sent1: The bear is nice. sent2: The bear likes the cat. sent3: The bear sees the dog. sent4: The cat eats the bear. sent5: The cat is cold. sent6: The cat sees the bear. sent7: The dog eats the bear. sent8: The dog eats the lion. sent9: The dog is blue. sent10: The dog sees the cat. sent11: The lion eats the cat. sent12: The lion is cold. sent13: The lion likes the bear. sent14: The lion likes the cat. sent15: If someone is big then they eat the dog. sent16: If someone is cold then they are nice. sent17: If someone is blue and they see the bear then they see the dog. sent18: If someone eats the dog then the dog is nice. sent19: If someone is blue and they see the dog then they are big. sent20: If someone eats the bear and they are nice then they are blue. sent21: If someone eats the bear and they see the dog then the dog is big.
translation.ro: $answer$ = False ; $proof$ = sent5