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