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