translation.en: $answer$ ; $proof$ ; $question$ = Gary is blue. ; $context$ = sent1: Erin is blue. sent2: Erin is white. sent3: Fiona is furry. sent4: Gary is blue. sent5: Gary is green. sent6: Gary is nice. sent7: Gary is smart. sent8: Harry is furry. sent9: Harry is green. sent10: Harry is nice. sent11: Harry is rough. sent12: Harry is smart. sent13: If Erin is rough then Erin is smart. sent14: All furry, nice things are green. sent15: If Fiona is furry and Fiona is green then Fiona is white. sent16: If something is white then it is rough. sent17: If Gary is green then Gary is furry. sent18: Smart, blue things are nice. sent19: All nice, blue things are furry. sent20: If something is green and nice then it is white. sent21: Nice, furry things are blue.
translation.ro: $answer$ = True ; $proof$ = sent4