translation.en: $answer$ ; $proof$ ; $question$ = The rabbit does not like the rabbit. ; $context$ = sent1: The cat is kind. sent2: The cat is young. sent3: The cat needs the tiger. sent4: The mouse chases the cat. sent5: The mouse is kind. sent6: The rabbit chases the cat. sent7: The rabbit chases the mouse. sent8: The rabbit is green. sent9: The rabbit is kind. sent10: The rabbit needs the mouse. sent11: The tiger chases the mouse. sent12: If the rabbit likes the tiger and the tiger likes the rabbit then the tiger chases the rabbit. sent13: If someone likes the rabbit then the rabbit likes the tiger. sent14: If someone likes the cat and they are young then they like the rabbit. sent15: If someone likes the tiger then they are young. sent16: If someone is green and they do not chase the mouse then they are young. sent17: If someone is kind then they like the cat. sent18: If someone likes the cat and they do not need the tiger then the tiger is red. sent19: If someone is rough and not young then they need the cat. sent20: If someone is red and they do not like the rabbit then the rabbit likes the mouse.
translation.ro: $answer$ = False ; $proof$ = # sent14%int1 & # sent17%int6 sent9 # sent15%int2 # sent13%int3 # sent14%int4 & # sent17%int5 sent1 sent2 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.