translation.en: $answer$ ; $proof$ ; $question$ = Bob is not cold. ; $context$ = sent1: Anne is blue. sent2: Anne is cold. sent3: Anne is quiet. sent4: Anne is rough. sent5: Anne is smart. sent6: Anne is white. sent7: Anne is young. sent8: Bob is quiet. sent9: Bob is smart. sent10: Bob is young. sent11: Erin is blue. sent12: Fiona is blue. sent13: Fiona is rough. sent14: Fiona is smart. sent15: If someone is young and blue then they are white. sent16: If someone is white then they are smart. sent17: All white people are quiet. sent18: All blue people are young. sent19: If Bob is smart then Bob is white. sent20: If someone is smart then they are cold. sent21: All cold people are blue. sent22: If Erin is cold and Erin is rough then Erin is blue. sent23: If Erin is cold then Erin is rough.
translation.ro: $answer$ = False ; $proof$ = # sent20%int1 sent9 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.