translation.en: $answer$ ; $proof$ ; $question$ = The cow does not like the rabbit. ; $context$ = sent1: The cat eats the cow. sent2: The cat sees the rabbit. sent3: The cow eats the cat. sent4: The lion is cold. sent5: The lion likes the cat. sent6: The lion sees the cat. sent7: The rabbit is blue. sent8: If someone is cold then they like the rabbit. sent9: If someone is cold then they like the cow. sent10: All blue people are round. sent11: If someone likes the rabbit then they eat the rabbit. sent12: If someone is round and they see the cow then the cow likes the rabbit. sent13: If someone eats the rabbit then the rabbit sees the cow.
translation.ro: $answer$ = False ; $proof$ = # sent12%int1 & # sent10%int5 sent7 # sent13%int2 # sent11%int3 # sent8%int4 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.