translation.en: $answer$ ; $proof$ ; $question$ = Charlie is young. ; $context$ = sent1: Charlie is blue. sent2: Charlie is quiet. sent3: Dave is blue. sent4: Dave is cold. sent5: Dave is young. sent6: Erin is blue. sent7: Erin is quiet. sent8: Erin is white. sent9: Erin is young. sent10: Gary is cold. sent11: Gary is quiet. sent12: Gary is young. sent13: All quiet things are furry. sent14: If Charlie is cold then Charlie is young. sent15: White things are cold. sent16: All young things are nice. sent17: If Gary is nice then Gary is young. sent18: If something is young then it is nice. sent19: If something is furry and blue then it is white. sent20: If something is young and furry then it is nice.
translation.ro: $answer$ = True ; $proof$ = # sent14%int1 # sent15%int2 # sent19%int3 & # sent13%int4 sent2 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.