translation.en: $answer$ ; $proof$ ; $question$ = Dave is not blue. ; $context$ = sent1: Bob is cold. sent2: Bob is nice. sent3: Bob is round. sent4: Dave is young. sent5: Erin is nice. sent6: Erin is round. sent7: Fiona is cold. sent8: If something is green then it is blue. sent9: If something is green and round then it is cold. sent10: Cold things are nice. sent11: All nice things are red. sent12: If something is young then it is cold. sent13: If something is nice and round then it is green. sent14: If something is red and cold then it is green. sent15: All young, round things are nice. sent16: If Fiona is round and Fiona is young then Fiona is cold.
translation.ro: $answer$ = False ; $proof$ = # sent8%int1 # sent14%int2 & # sent11%int3 # sent10%int4 # sent12%int5 sent4 # sent12%int5 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.