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