translation.en: $answer$ ; $proof$ ; $question$ = Anne is young. ; $context$ = sent1: Anne is blue. sent2: Anne is kind. sent3: Anne is quiet. sent4: Anne is rough. sent5: Charlie is kind. sent6: Charlie is quiet. sent7: Charlie is rough. sent8: Charlie is smart. sent9: Charlie is white. sent10: Charlie is young. sent11: Erin is young. sent12: Fiona is kind. sent13: All white things are young. sent14: Young, blue things are quiet. sent15: Kind things are blue. sent16: If Charlie is rough and Charlie is quiet then Charlie is white. sent17: All white, smart things are young. sent18: All quiet things are white. sent19: If something is white and rough then it is smart. sent20: If Fiona is rough then Fiona is young. sent21: Blue things are rough.
translation.ro: $answer$ = True ; $proof$ = # sent13%int1 # sent18%int2 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.