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