translation.en: $answer$ ; $proof$ ; $question$ = Fiona is quiet. ; $context$ = sent1: Anne is cold. sent2: Bob is cold. sent3: Bob is young. sent4: Fiona is big. sent5: Fiona is young. sent6: Harry is big. sent7: Harry is blue. sent8: Harry is cold. sent9: Harry is furry. sent10: Harry is quiet. sent11: Harry is red. sent12: Harry is young. sent13: Cold, young people are red. sent14: Furry people are young. sent15: Young, big people are blue. sent16: Red, big people are quiet. sent17: Quiet people are furry. sent18: Blue people are red. sent19: Young people are big. sent20: All quiet, big people are furry. sent21: If someone is blue and furry then they are cold.
translation.ro: $answer$ = True ; $proof$ = # sent16%int1 & # sent18%int2 # sent15%int3 sent4 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.