translation.en: $answer$ ; $proof$ ; $question$ = Charlie is not green. ; $context$ = sent1: Charlie is blue. sent2: Charlie is red. sent3: Dave is blue. sent4: Dave is furry. sent5: Dave is green. sent6: Dave is kind. sent7: Dave is smart. sent8: Fiona is blue. sent9: Fiona is furry. sent10: Fiona is green. sent11: Fiona is young. sent12: Harry is green. sent13: Harry is kind. sent14: Harry is smart. sent15: Blue people are furry. sent16: All kind people are blue. sent17: If someone is smart then they are blue. sent18: Blue, furry people are kind. sent19: All blue, green people are smart. sent20: All young, red people are green. sent21: Furry, kind people are green. sent22: Smart people are young.
translation.ro: $answer$ = False ; $proof$ = # sent21%int1 & # sent15%int3 sent1 # sent18%int2 & sent1 # sent15%int3 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.