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