translation.en: $answer$ ; $proof$ ; $question$ = Anne is not big. ; $context$ = sent1: Anne is big. sent2: Anne is kind. sent3: Bob is big. sent4: Bob is furry. sent5: Erin is big. sent6: Erin is kind. sent7: Erin is rough. sent8: Fiona is green. sent9: Fiona is kind. sent10: Fiona is rough. sent11: If someone is rough then they are red. sent12: Rough people are big. sent13: Smart people are rough. sent14: Big, furry people are rough. sent15: If Fiona is green and Fiona is smart then Fiona is red. sent16: If Fiona is furry then Fiona is red. sent17: All big, kind people are furry. sent18: If someone is smart then they are green. sent19: Rough, red people are smart.
translation.ro: $answer$ = False ; $proof$ = sent1