translation.en: $answer$ ; $proof$ ; $question$ = Dave is blue. ; $context$ = sent1: Charlie is blue. sent2: Charlie is furry. sent3: Charlie is green. sent4: Charlie is red. sent5: Charlie is rough. sent6: Dave is big. sent7: Dave is red. sent8: Dave is white. sent9: Fiona is furry. sent10: Fiona is red. sent11: Fiona is rough. sent12: Gary is white. sent13: If someone is big then they are green. sent14: All white people are red. sent15: If someone is green and big then they are blue. sent16: If someone is red then they are big. sent17: All blue, white people are rough. sent18: If someone is blue then they are white. sent19: If someone is rough and not white then they are furry. sent20: If someone is blue and not white then they are furry.
translation.ro: $answer$ = True ; $proof$ = # sent15%int1 & # sent13%int2 sent6 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.