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