translation.en: $answer$ ; $proof$ ; $question$ = Anne is quiet. ; $context$ = sent1: Anne is round. sent2: Anne is young. sent3: Erin is cold. sent4: Erin is kind. sent5: Erin is quiet. sent6: Erin is round. sent7: Erin is smart. sent8: Erin is white. sent9: Erin is young. sent10: Gary is smart. sent11: Harry is quiet. sent12: Harry is young. sent13: If someone is white and quiet then they are smart. sent14: If someone is smart and cold then they are round. sent15: If someone is kind then they are white. sent16: Young people are quiet. sent17: Quiet, smart people are round. sent18: Kind, quiet people are round. sent19: If someone is smart then they are kind. sent20: If someone is kind then they are young. sent21: All round, white people are cold.
translation.ro: $answer$ = True ; $proof$ = # sent16%int1 sent2 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.