translation.en: $answer$ ; $proof$ ; $question$ = Erin is red. ; $context$ = sent1: Bob is big. sent2: Bob is cold. sent3: Bob is round. sent4: Charlie is kind. sent5: Charlie is young. sent6: Dave is big. sent7: Dave is cold. sent8: Dave is kind. sent9: Dave is red. sent10: Dave is rough. sent11: Dave is round. sent12: Erin is big. sent13: Erin is kind. sent14: Erin is rough. sent15: All big people are kind. sent16: If someone is kind then they are big. sent17: All round people are big. sent18: If someone is cold and kind then they are round. sent19: If someone is rough then they are young. sent20: All red people are rough. sent21: All red people are rough. sent22: If someone is big then they are cold. sent23: Round people are red.
translation.ro: $answer$ = True ; $proof$ = # sent23%int1 # sent18%int2 & # sent22%int3 sent12 sent13 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.