translation.en: $answer$ ; $proof$ ; $question$ = The cow is not kind. ; $context$ = sent1: The cow chases the mouse. sent2: The cow likes the mouse. sent3: The cow likes the rabbit. sent4: The cow likes the squirrel. sent5: The cow sees the mouse. sent6: The cow sees the squirrel. sent7: The mouse likes the cow. sent8: The mouse likes the rabbit. sent9: The rabbit chases the squirrel. sent10: The rabbit sees the cow. sent11: The squirrel chases the rabbit. sent12: The squirrel is kind. sent13: The squirrel likes the rabbit. sent14: The squirrel sees the cow. sent15: If someone likes the cow and the cow sees the rabbit then the cow is kind. sent16: If someone sees the rabbit and they like the cow then the cow is cold. sent17: If someone is red then they like the cow. sent18: If someone chases the rabbit then they are rough. sent19: If someone likes the squirrel then they are red. sent20: If someone likes the cow and they like the squirrel then the cow is kind. sent21: If someone is kind then they chase the rabbit. sent22: If someone likes the rabbit and the rabbit is rough then the rabbit chases the squirrel. sent23: If someone sees the cow then they chase the squirrel.
translation.ro: $answer$ = False ; $proof$ = # sent20%int1 & # sent17%int2 # sent19%int3 sent4 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.