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