translation.en: $answer$ ; $proof$ ; $question$ = Anne is smart. ; $context$ = sent1: Anne is round. sent2: Bob is red. sent3: Bob is smart. sent4: Erin is furry. sent5: Erin is red. sent6: Erin is rough. sent7: Erin is smart. sent8: Fiona is big. sent9: Fiona is furry. sent10: Fiona is smart. sent11: All smart things are furry. sent12: All furry things are red. sent13: All round things are rough. sent14: If Bob is white then Bob is furry. sent15: All red, rough things are big. sent16: All rough things are smart. sent17: If Fiona is furry then Fiona is red. sent18: If Bob is round and Bob is big then Bob is furry. sent19: If Fiona is red and Fiona is white then Fiona is smart.
translation.ro: $answer$ = True ; $proof$ = # sent16%int1 # sent13%int2 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.