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