translation.en: $answer$ ; $proof$ ; $question$ = Erin is kind. ; $context$ = sent1: Charlie is kind. sent2: Charlie is smart. sent3: Charlie is young. sent4: Erin is furry. sent5: Erin is nice. sent6: Fiona is furry. sent7: Fiona is kind. sent8: Fiona is nice. sent9: Fiona is rough. sent10: Fiona is smart. sent11: Harry is furry. sent12: Harry is nice. sent13: Harry is quiet. sent14: Harry is rough. sent15: Harry is smart. sent16: Harry is young. sent17: If something is nice and young then it is quiet. sent18: All kind things are rough. sent19: If something is quiet and not nice then it is rough. sent20: Young, smart things are kind. sent21: If something is quiet then it is young. sent22: If something is quiet then it is young. sent23: All young things are smart. sent24: If Erin is nice then Erin is quiet. sent25: If something is young and not kind then it is furry.
translation.ro: $answer$ = True ; $proof$ = # sent20%int1 & # sent21%int3 # sent24%int4 sent5 # sent23%int2 # sent21%int3 # sent24%int4 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.