translation.en: $answer$ ; $proof$ ; $question$ = The cat is green. ; $context$ = sent1: The bald eagle chases the cat. sent2: The bald eagle is big. sent3: The bald eagle visits the cat. sent4: The bald eagle visits the lion. sent5: The cat is big. sent6: The cat is kind. sent7: The cat visits the dog. sent8: The dog is cold. sent9: The dog likes the bald eagle. sent10: The dog likes the cat. sent11: The dog visits the lion. sent12: The lion is rough. sent13: The lion likes the dog. sent14: The lion visits the bald eagle. sent15: If someone is cold and they chase the dog then the dog chases the bald eagle. sent16: Green people are big. sent17: If the dog visits the lion and the dog likes the cat then the cat chases the dog. sent18: All green people are cold. sent19: If someone chases the dog then the dog chases the cat. sent20: If someone likes the bald eagle and they do not visit the lion then they are green. sent21: If someone likes the bald eagle and they chase the cat then the cat likes the bald eagle.
translation.ro: $answer$ = True ; $proof$ = # sent20%int1 & # sent21%int2 & sent11 # sent19%int3 # sent17%int4 sent10 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.