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