translation.en: $answer$ ; $proof$ ; $question$ = Bob is blue. ; $context$ = sent1: Anne is kind. sent2: Anne is young. sent3: Bob is rough. sent4: Charlie is cold. sent5: Charlie is kind. sent6: Charlie is rough. sent7: Charlie is smart. sent8: Fiona is kind. sent9: Fiona is rough. sent10: Fiona is smart. sent11: Rough, cold things are smart. sent12: All young things are kind. sent13: All kind things are blue. sent14: Young things are cold. sent15: If something is rough then it is cold. sent16: All young, blue things are kind. sent17: If something is cold and smart then it is young.
translation.ro: $answer$ = True ; $proof$ = # sent13%int1 # sent12%int2 # sent17%int3 & # sent15%int5 sent3 # sent11%int4 & sent3 # sent15%int5 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.