translation.en: $answer$ ; $proof$ ; $question$ = Charlie is not smart. ; $context$ = sent1: Bob is kind. sent2: Bob is rough. sent3: Charlie is green. sent4: Charlie is rough. sent5: Erin is furry. sent6: Erin is kind. sent7: Gary is rough. sent8: If Bob is furry and Bob is green then Bob is young. sent9: If something is furry then it is round. sent10: All green things are young. sent11: If Charlie is kind then Charlie is furry. sent12: Round, young things are smart. sent13: All young, green things are kind.
translation.ro: $answer$ = False ; $proof$ = # sent12%int1 & # sent9%int2 # sent11%int3 # sent13%int4 & # sent10%int5 sent3 sent3 # sent10%int5 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.