translation.en: $answer$ ; $proof$ ; $question$ = Harry is blue. ; $context$ = sent1: Bob is blue. sent2: Bob is cold. sent3: Bob is green. sent4: Bob is nice. sent5: Bob is red. sent6: Bob is round. sent7: Bob is white. sent8: Charlie is cold. sent9: Charlie is green. sent10: Charlie is round. sent11: Gary is blue. sent12: Gary is cold. sent13: Gary is green. sent14: Gary is nice. sent15: Gary is red. sent16: Harry is round. sent17: If Harry is round then Harry is nice. sent18: If something is nice then it is green. sent19: All white, round things are red. sent20: White, red things are cold. sent21: All cold things are blue. sent22: All nice things are white.
translation.ro: $answer$ = True ; $proof$ = # sent21%int1 # sent20%int2 & # sent22%int4 # sent17%int5 sent16 # sent19%int3 & # sent22%int4 # sent17%int5 sent16 sent16 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.