translation.en: $answer$ ; $proof$ ; $question$ = Bob is young. ; $context$ = sent1: Anne is nice. sent2: Anne is round. sent3: Anne is smart. sent4: Bob is green. sent5: Bob is round. sent6: Dave is green. sent7: Dave is round. sent8: Dave is white. sent9: Dave is young. sent10: Fiona is green. sent11: Fiona is nice. sent12: Fiona is round. sent13: Fiona is smart. sent14: Fiona is young. sent15: If Bob is white then Bob is smart. sent16: Young people are furry. sent17: All round, green people are furry. sent18: All round, young people are white. sent19: If someone is green and furry then they are nice. sent20: If someone is round and furry then they are nice. sent21: Nice people are young.
translation.ro: $answer$ = True ; $proof$ = # sent21%int1 # sent19%int2 & sent5 # sent17%int3 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.