translation.en: $answer$ ; $proof$ ; $question$ = Harry is not young. ; $context$ = sent1: Anne is green. sent2: Anne is nice. sent3: Anne is smart. sent4: Anne is young. sent5: Erin is nice. sent6: Fiona is green. sent7: Fiona is red. sent8: Fiona is smart. sent9: Harry is blue. sent10: Harry is red. sent11: All blue people are kind. sent12: Green people are smart. sent13: If someone is blue and young then they are smart. sent14: All green people are young. sent15: If someone is nice then they are red. sent16: Nice, red people are blue. sent17: All kind people are green.
translation.ro: $answer$ = False ; $proof$ = # sent14%int1 # sent17%int2 # sent11%int3 sent9 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.