translation.en: $answer$ ; $proof$ ; $question$ = The lion sees the cow. ; $context$ = sent1: The bear eats the cow. sent2: The bear is blue. sent3: The cow eats the squirrel. sent4: The cow is young. sent5: The cow visits the lion. sent6: The lion is red. sent7: The lion is young. sent8: The lion visits the cow. sent9: The squirrel sees the bear. sent10: The squirrel visits the bear. sent11: If something sees the cow and the cow eats the squirrel then the cow is red. sent12: If the cow eats the bear and the bear sees the cow then the bear is blue. sent13: If something is blue and it sees the squirrel then the squirrel is round. sent14: If something sees the squirrel then the squirrel eats the cow. sent15: If the lion sees the cow and the cow visits the squirrel then the cow eats the squirrel. sent16: If something is red then it eats the lion. sent17: If the bear visits the squirrel and the bear is round then the bear sees the cow. sent18: If something eats the lion then it sees the cow. sent19: If something is young and cold then it eats the cow.
translation.ro: $answer$ = True ; $proof$ = # sent18%int1 # sent16%int2 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.