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