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