translation.en: $answer$ ; $proof$ ; $question$ = Bob is cold. ; $context$ = sent1: Bob is young. sent2: Charlie is big. sent3: Charlie is cold. sent4: Charlie is round. sent5: Charlie is young. sent6: Dave is cold. sent7: Dave is kind. sent8: Dave is young. sent9: Gary is round. sent10: Gary is young. sent11: If someone is green and quiet then they are kind. sent12: Young people are kind. sent13: If someone is quiet and not green then they are big. sent14: If someone is kind then they are quiet. sent15: If someone is young and big then they are cold. sent16: If someone is big and cold then they are round. sent17: If someone is big and not quiet then they are round.
translation.ro: $answer$ = True ; $proof$ = # sent15%int1 & sent1 # sent13%int2 & # sent14%int3 # sent12%int4 sent1 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.