translation.en: $answer$ ; $proof$ ; $question$ = Erin is green. ; $context$ = sent1: Bob is big. sent2: Bob is cold. sent3: Bob is kind. sent4: Bob is nice. sent5: Charlie is green. sent6: Charlie is nice. sent7: Erin is furry. sent8: Erin is kind. sent9: Harry is furry. sent10: Harry is green. sent11: If something is cold then it is green. sent12: If something is furry and green then it is nice. sent13: Smart, green things are big. sent14: Kind, furry things are cold. sent15: Furry, nice things are kind. sent16: If something is nice and smart then it is big. sent17: All nice things are smart. sent18: All green things are kind.
translation.ro: $answer$ = True ; $proof$ = # sent11%int1 # sent14%int2 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.