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