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