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