translation.en: $answer$ ; $proof$ ; $question$ = The cow visits the cow. ; $context$ = sent1: The bear chases the rabbit. sent2: The bear is young. sent3: The bear sees the cow. sent4: The cow sees the bear. sent5: The cow sees the rabbit. sent6: The rabbit is red. sent7: The squirrel chases the cow. sent8: If someone is kind then they visit the cow. sent9: If someone chases the squirrel then the squirrel visits the cow. sent10: Young people are kind. sent11: If someone visits the bear then they see the squirrel. sent12: If someone chases the squirrel then the squirrel visits the cow. sent13: If someone visits the rabbit then the rabbit visits the cow. sent14: If someone is young then they visit the rabbit. sent15: If someone visits the cow then the cow is young. sent16: If someone is red then they visit the squirrel.
translation.ro: $answer$ = True ; $proof$ = # sent8%int1 # sent10%int2 # sent15%int3 # sent8%int4 # sent10%int5 sent2 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.