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