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