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