translation.en: $answer$ ; $proof$ ; $question$ = Gary is kind. ; $context$ = sent1: Charlie is blue. sent2: Charlie is kind. sent3: Dave is big. sent4: Dave is cold. sent5: Dave is kind. sent6: Dave is red. sent7: Dave is round. sent8: Gary is rough. sent9: Gary is round. sent10: Harry is round. sent11: If someone is big and kind then they are cold. sent12: If someone is big then they are cold. sent13: If someone is round and red then they are kind. sent14: If Harry is blue and Harry is cold then Harry is round. sent15: If someone is kind then they are big. sent16: If someone is rough and blue then they are red. sent17: If someone is round then they are blue.
translation.ro: $answer$ = True ; $proof$ = # sent13%int1 & sent9 # sent16%int2 & sent8 # sent17%int3 sent9 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.