translation.en: $answer$ ; $proof$ ; $question$ = Erin is blue. ; $context$ = sent1: Anne is kind. sent2: Anne is round. sent3: Dave is blue. sent4: Dave is cold. sent5: Dave is furry. sent6: Dave is green. sent7: Dave is quiet. sent8: Erin is green. sent9: Fiona is furry. sent10: Fiona is round. sent11: If Fiona is quiet and Fiona is kind then Fiona is green. sent12: All green people are blue. sent13: Quiet, round people are cold. sent14: Kind people are green. sent15: If someone is quiet then they are blue. sent16: If someone is cold then they are furry. sent17: All blue, kind people are quiet.
translation.ro: $answer$ = True ; $proof$ = # sent12%int1 sent8 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.