translation.en: $answer$ ; $proof$ ; $question$ = Fiona is red. ; $context$ = sent1: Bob is nice. sent2: Bob is rough. sent3: Dave is rough. sent4: Fiona is cold. sent5: Fiona is furry. sent6: Gary is red. sent7: Gary is young. sent8: Red people are nice. sent9: Rough people are young. sent10: If Bob is nice and Bob is smart then Bob is young. sent11: If someone is smart and furry then they are rough. sent12: Furry, young people are red. sent13: Smart, rough people are young. sent14: Nice people are red. sent15: If someone is cold then they are smart. sent16: If someone is nice then they are young.
translation.ro: $answer$ = True ; $proof$ = # sent12%int1 & sent5 # sent9%int2 # sent11%int3 & # sent15%int4 sent4 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.