translation.en: $answer$ ; $proof$ ; $question$ = Fiona is green. ; $context$ = sent1: Dave is green. sent2: Dave is kind. sent3: Dave is rough. sent4: Erin is green. sent5: Erin is red. sent6: Erin is rough. sent7: Fiona is rough. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is round. sent11: Blue things are kind. sent12: If something is kind then it is red. sent13: Rough things are blue. sent14: If something is round and kind then it is green. sent15: Blue, red things are furry. sent16: Green, round things are furry. sent17: If something is furry and not kind then it is round. sent18: All red things are round.
translation.ro: $answer$ = True ; $proof$ = # sent14%int1 & # sent18%int2 # sent12%int3 # sent11%int4 # sent13%int5 sent7 # sent11%int4 # sent13%int5 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.