translation.en: $answer$ ; $proof$ ; $question$ = Anne is big. ; $context$ = sent1: Anne is furry. sent2: Anne is quiet. sent3: Anne is round. sent4: Charlie is big. sent5: Charlie is furry. sent6: Charlie is green. sent7: Charlie is quiet. sent8: Charlie is round. sent9: Erin is big. sent10: Erin is green. sent11: Erin is rough. sent12: Harry is round. sent13: Rough things are round. sent14: Rough things are round. sent15: Round, quiet things are green. sent16: If something is rough then it is big. sent17: All green things are furry. sent18: If something is quiet then it is furry. sent19: If something is furry then it is blue. sent20: All round things are rough. sent21: Big things are quiet.
translation.ro: $answer$ = True ; $proof$ = # sent16%int1 # sent20%int2 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.