translation.en: $answer$ ; $proof$ ; $question$ = Bob is blue. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Bob is nice. sent4: Bob is rough. sent5: Charlie is blue. sent6: Charlie is nice. sent7: Charlie is red. sent8: Fiona is kind. sent9: Gary is red. sent10: Gary is rough. sent11: If Charlie is rough then Charlie is quiet. sent12: All nice, kind things are big. sent13: All quiet, blue things are big. sent14: If Gary is big and Gary is red then Gary is nice. sent15: If Charlie is red then Charlie is rough. sent16: Red, blue things are quiet. sent17: Kind things are rough. sent18: All kind, red things are blue. sent19: Rough things are kind.
translation.ro: $answer$ = True ; $proof$ = sent2