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