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