translation.en: $answer$ ; $proof$ ; $question$ = Fiona is not furry. ; $context$ = sent1: Anne is furry. sent2: Bob is kind. sent3: Bob is rough. sent4: Bob is white. sent5: Dave is furry. sent6: Dave is red. sent7: Fiona is red. sent8: Blue things are white. sent9: If something is blue then it is white. sent10: All red things are nice. sent11: All white, kind things are rough. sent12: All blue, red things are rough. sent13: If something is kind then it is furry. sent14: White things are kind. sent15: If something is nice then it is blue. sent16: If Dave is rough then Dave is red.
translation.ro: $answer$ = False ; $proof$ = # sent13%int1 # sent14%int2 # sent8%int3 # sent15%int4 # sent10%int5 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.