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