translation.en: $answer$ ; $proof$ ; $question$ = Fiona is not furry. ; $context$ = sent1: Charlie is green. sent2: Charlie is kind. sent3: Erin is blue. sent4: Erin is kind. sent5: Fiona is green. sent6: Gary is blue. sent7: Gary is furry. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is round. sent11: If someone is round and kind then they are green. sent12: All green, round people are blue. sent13: Round people are big. sent14: If someone is kind then they are furry. sent15: All blue people are kind. sent16: If someone is green then they are big. sent17: If Erin is cold and Erin is green then Erin is blue. sent18: Cold, blue people are kind. sent19: All green, big people are round.
translation.ro: $answer$ = False ; $proof$ = # sent14%int1 # sent15%int2 # sent12%int3 & sent5 # sent19%int4 & sent5 # sent16%int5 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.