translation.en: $answer$ ; $proof$ ; $question$ = The bear is not green. ; $context$ = sent1: The bear chases the cat. sent2: The bear chases the cow. sent3: The bear likes the cat. sent4: The bear likes the lion. sent5: The bear visits the cat. sent6: The cat is red. sent7: The cat visits the bear. sent8: The cat visits the cow. sent9: The cow visits the lion. sent10: The lion chases the cat. sent11: The lion is nice. sent12: If something likes the bear and it visits the lion then it is green. sent13: If something likes the lion and the lion is nice then it chases the lion. sent14: If something is green and it chases the cow then the cow is cold. sent15: Cold things are green. sent16: If something chases the lion and the lion chases the cat then it is cold. sent17: If the lion likes the cat and the cat chases the lion then the lion is nice. sent18: If something likes the cat then it likes the lion. sent19: If something likes the cat then it likes the lion. sent20: If something chases the lion then the lion visits the bear.
translation.ro: $answer$ = False ; $proof$ = # sent15%int1 # sent16%int2 & # sent13%int3 sent11 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.