translation.en: $answer$ ; $proof$ ; $question$ = Fiona is young. ; $context$ = sent1: Anne is quiet. sent2: Anne is rough. sent3: Anne is white. sent4: Dave is cold. sent5: Dave is nice. sent6: Dave is young. sent7: Fiona is green. sent8: Fiona is rough. sent9: Harry is quiet. sent10: Harry is rough. sent11: Harry is young. sent12: If Dave is not rough then Dave is cold. sent13: If Dave is young then Dave is cold. sent14: All cold, green people are white. sent15: If someone is young and cold then they are white. sent16: All rough, nice people are quiet. sent17: All green people are cold. sent18: White, quiet people are green. sent19: If someone is rough and white then they are nice. sent20: If someone is cold and quiet then they are young.
translation.ro: $answer$ = True ; $proof$ = # sent20%int1 & # sent17%int5 sent7 # sent16%int2 & sent8 # sent19%int3 & sent8 # sent14%int4 & # sent17%int5 sent7 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.