translation.en: $answer$ ; $proof$ ; $question$ = Bob is kind. ; $context$ = sent1: Bob is quiet. sent2: Bob is white. sent3: Dave is kind. sent4: Dave is red. sent5: Dave is young. sent6: Fiona is red. sent7: Fiona is round. sent8: Gary is quiet. sent9: Gary is red. sent10: Gary is round. sent11: White things are round. sent12: If something is kind and white then it is green. sent13: All young things are kind. sent14: All round things are young. sent15: All quiet, kind things are white. sent16: Quiet, green things are red. sent17: Young, quiet things are kind. sent18: All quiet, red things are kind. sent19: If Gary is young then Gary is round.
translation.ro: $answer$ = True ; $proof$ = # sent13%int1 # sent14%int2 # sent11%int3 sent2 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.