translation.en: $answer$ ; $proof$ ; $question$ = Bob is furry. ; $context$ = sent1: Bob is kind. sent2: Charlie is green. sent3: Charlie is kind. sent4: Charlie is young. sent5: Dave is young. sent6: Erin is big. sent7: Erin is young. sent8: All white, green people are young. sent9: All rough, kind people are big. sent10: If someone is green then they are young. sent11: Young people are rough. sent12: Big, rough people are furry. sent13: Kind people are green.
translation.ro: $answer$ = True ; $proof$ = # sent12%int1 & # sent9%int2 & # sent11%int3 # sent10%int4 # sent13%int5 sent1 sent1 # sent11%int3 # sent10%int4 # sent13%int5 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.