translation.en: $answer$ ; $proof$ ; $question$ = Erin is not green. ; $context$ = sent1: Anne is blue. sent2: Anne is green. sent3: Anne is nice. sent4: Bob is blue. sent5: Bob is green. sent6: Bob is nice. sent7: Charlie is blue. sent8: Charlie is cold. sent9: Charlie is furry. sent10: Erin is green. sent11: Erin is nice. sent12: If something is rough and nice then it is blue. sent13: If Erin is cold and Erin is nice then Erin is round. sent14: If something is nice then it is rough. sent15: If Erin is furry then Erin is green. sent16: If Anne is furry and Anne is cold then Anne is green. sent17: If Erin is furry and Erin is blue then Erin is cold. sent18: If Erin is round then Erin is cold. sent19: Green, blue things are furry.
translation.ro: $answer$ = False ; $proof$ = sent10