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