translation.en: $answer$ ; $proof$ ; $question$ = Gary is young. ; $context$ = sent1: Anne is big. sent2: Anne is rough. sent3: Dave is nice. sent4: Gary is kind. sent5: Harry is blue. sent6: Harry is kind. sent7: Harry is rough. sent8: All rough, blue things are white. sent9: Rough, nice things are blue. sent10: Young things are nice. sent11: If something is kind then it is nice. sent12: All nice, kind things are rough. sent13: Kind things are big. sent14: All blue things are big. sent15: All kind things are big. sent16: White things are young.
translation.ro: $answer$ = True ; $proof$ = # sent16%int1 # sent8%int2 & # sent12%int4 & # sent11%int5 sent4 sent4 # sent9%int3 & # sent12%int4 & # sent11%int5 sent4 sent4 # sent11%int5 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.