translation.en: $answer$ ; $proof$ ; $question$ = Fiona is white. ; $context$ = sent1: Anne is furry. sent2: Anne is kind. sent3: Bob is cold. sent4: Fiona is nice. sent5: Fiona is smart. sent6: Gary is nice. sent7: Gary is smart. sent8: If Fiona is white and Fiona is nice then Fiona is furry. sent9: Cold, smart people are rough. sent10: All smart, furry people are cold. sent11: If someone is nice then they are white. sent12: All kind people are white. sent13: Nice, rough people are kind. sent14: Rough people are kind. sent15: If Bob is smart then Bob is furry. sent16: If Bob is not furry and Bob is not kind then Bob is white.
translation.ro: $answer$ = True ; $proof$ = # sent11%int1 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.