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