translation.en: $answer$ ; $proof$ ; $question$ = Gary is not blue. ; $context$ = sent1: Anne is kind. sent2: Anne is white. sent3: Erin is blue. sent4: Erin is furry. sent5: Fiona is furry. sent6: Fiona is kind. sent7: Gary is smart. sent8: All kind people are smart. sent9: Smart people are blue. sent10: If Anne is kind and Anne is furry then Anne is blue. sent11: If Gary is kind then Gary is blue. sent12: If someone is blue then they are white. sent13: If Erin is not smart then Erin is blue. sent14: If someone is white and furry then they are rough. sent15: All smart, rough people are young.
translation.ro: $answer$ = False ; $proof$ = # sent9%int1 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.