translation.en: $answer$ ; $proof$ ; $question$ = The rabbit is kind. ; $context$ = sent1: The lion is kind. sent2: The mouse chases the lion. sent3: The rabbit is blue. sent4: The rabbit is round. sent5: The tiger is blue. sent6: The tiger is cold. sent7: The tiger is young. sent8: If something sees the rabbit then the rabbit is cold. sent9: If something sees the tiger then the tiger is kind. sent10: If something is round then it is kind. sent11: If the rabbit sees the lion and the rabbit sees the mouse then the mouse sees the tiger. sent12: If something is kind then it sees the mouse. sent13: If something is blue and kind then it sees the rabbit. sent14: If something chases the lion and the lion chases the rabbit then the rabbit chases the mouse. sent15: If something is kind and it sees the mouse then it sees the lion.
translation.ro: $answer$ = True ; $proof$ = # sent10%int1 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.