translation.en: $answer$ ; $proof$ ; $question$ = Bob is green. ; $context$ = sent1: Anne is blue. sent2: Anne is kind. sent3: Anne is nice. sent4: Anne is red. sent5: Bob is smart. sent6: Fiona is cold. sent7: Fiona is kind. sent8: Harry is blue. sent9: Harry is cold. sent10: Harry is green. sent11: Harry is kind. sent12: Harry is red. sent13: All red things are cold. sent14: If something is blue and green then it is nice. sent15: If something is smart and cold then it is kind. sent16: All green things are blue. sent17: If something is smart and blue then it is nice. sent18: If Bob is nice then Bob is cold. sent19: If something is smart then it is green.
translation.ro: $answer$ = True ; $proof$ = # sent19%int1 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.