translation.en: $answer$ ; $proof$ ; $question$ = Anne is rough. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Anne is rough. sent4: Anne is round. sent5: Anne is young. sent6: Charlie is big. sent7: Charlie is cold. sent8: Dave is furry. sent9: Dave is young. sent10: Harry is furry. sent11: Harry is nice. sent12: Harry is young. sent13: All round things are cold. sent14: Cold, furry things are rough. sent15: If something is furry and rough then it is round. sent16: If Charlie is round and Charlie is furry then Charlie is nice. sent17: All round, nice things are rough. sent18: Big, cold things are furry. sent19: Furry, round things are cold. sent20: Nice, round things are young.
translation.ro: $answer$ = True ; $proof$ = sent3