translation.en: $answer$ ; $proof$ ; $question$ = Anne is blue. ; $context$ = sent1: Anne is big. sent2: Anne is nice. sent3: Anne is round. sent4: Bob is nice. sent5: Bob is round. sent6: Dave is blue. sent7: Dave is red. sent8: Dave is smart. sent9: Erin is red. sent10: Erin is round. sent11: If someone is big and round then they are smart. sent12: All rough people are blue. sent13: Nice people are big. sent14: If someone is nice then they are round. sent15: Round, red people are rough. sent16: All round, smart people are red.
translation.ro: $answer$ = True ; $proof$ = # sent12%int1 # sent15%int2 & sent3 # sent16%int3 & sent1 # sent11%int4 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.