translation.en: $answer$ ; $proof$ ; $question$ = Charlie is red. ; $context$ = sent1: Bob is white. sent2: Charlie is furry. sent3: Charlie is kind. sent4: Dave is cold. sent5: Dave is smart. sent6: Gary is red. sent7: Gary is white. sent8: Green, furry things are smart. sent9: If Charlie is white then Charlie is green. sent10: White things are kind. sent11: Cold, smart things are red. sent12: All furry things are cold. sent13: If Bob is kind and Bob is furry then Bob is smart. sent14: If something is cold and kind then it is white.
translation.ro: $answer$ = True ; $proof$ = # sent11%int1 & # sent12%int5 sent2 # sent8%int2 & # sent9%int3 # sent14%int4 & # sent12%int5 sent2 sent3 sent2 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.