translation.en: $answer$ ; $proof$ ; $question$ = The squirrel does not like the lion. ; $context$ = sent1: The cat needs the cow. sent2: The cat visits the lion. sent3: The cow is red. sent4: The lion is rough. sent5: The lion likes the squirrel. sent6: The lion needs the squirrel. sent7: The squirrel is kind. sent8: The squirrel is red. sent9: The squirrel needs the cat. sent10: The squirrel visits the cow. sent11: If the cat needs the lion and the cat needs the cow then the cow likes the squirrel. sent12: If someone needs the squirrel then they are big. sent13: If the cow is round and the cow likes the lion then the cow visits the cat. sent14: If someone visits the lion and the lion likes the cow then the lion needs the cat. sent15: If the cat visits the lion and the lion needs the cat then the cat likes the lion. sent16: If someone visits the lion and they do not visit the cat then the lion likes the cat. sent17: If someone likes the cat and they need the squirrel then the squirrel likes the lion. sent18: If someone likes the lion then the lion likes the cow.
translation.ro: $answer$ = False ; $proof$ = # sent17%int1 & # sent16%int2 naf1 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.