translation.en: $answer$ ; $proof$ ; $question$ = Erin is red. ; $context$ = sent1: Charlie is big. sent2: Charlie is red. sent3: Charlie is white. sent4: Charlie is young. sent5: Erin is big. sent6: Erin is young. sent7: Fiona is big. sent8: Fiona is red. sent9: Harry is big. sent10: Harry is white. sent11: Harry is young. sent12: White, big things are red. sent13: If something is white then it is red. sent14: All round things are rough. sent15: All big, rough things are white. sent16: Red, rough things are quiet. sent17: All young things are round. sent18: If Fiona is round and Fiona is not young then Fiona is quiet.
translation.ro: $answer$ = True ; $proof$ = # sent13%int1 # sent15%int2 & sent5 # sent14%int3 # sent17%int4 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.