translation.en: $answer$ ; $proof$ ; $question$ = Fiona is kind. ; $context$ = sent1: Anne is rough. sent2: Anne is white. sent3: Erin is big. sent4: Erin is rough. sent5: Erin is round. sent6: Erin is smart. sent7: Fiona is white. sent8: Gary is big. sent9: Gary is rough. sent10: Gary is white. sent11: If someone is kind and not white then they are rough. sent12: If someone is kind then they are rough. sent13: If someone is white and not big then they are smart. sent14: Kind, big people are furry. sent15: Kind, rough people are furry. sent16: If Erin is rough then Erin is kind. sent17: If Erin is white and Erin is rough then Erin is round. sent18: If someone is round then they are kind. sent19: If someone is smart then they are round.
translation.ro: $answer$ = True ; $proof$ = # sent18%int1 # sent19%int2 # sent13%int3 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.