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