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