translation.en: $answer$ ; $proof$ ; $question$ = Gary is not young. ; $context$ = sent1: Charlie is red. sent2: Charlie is young. sent3: Dave is red. sent4: Dave is white. sent5: Dave is young. sent6: Gary is kind. sent7: Harry is big. sent8: Harry is blue. sent9: Harry is kind. sent10: Harry is young. sent11: If something is kind then it is young. sent12: If something is young then it is blue. sent13: If Dave is big and Dave is young then Dave is blue. sent14: All red things are big. sent15: All rough things are big. sent16: All blue, kind things are white. sent17: If something is blue and not young then it is red. sent18: If something is white then it is red.
translation.ro: $answer$ = False ; $proof$ = # sent11%int1 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.