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