translation.en: $answer$ ; $proof$ ; $question$ = Fiona is not round. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is nice. sent4: Anne is red. sent5: Dave is big. sent6: Dave is nice. sent7: Dave is red. sent8: Dave is round. sent9: Fiona is big. sent10: Fiona is red. sent11: Gary is big. sent12: Gary is blue. sent13: Gary is nice. sent14: Gary is young. sent15: Blue, big people are young. sent16: If someone is rough then they are young. sent17: All red people are blue. sent18: All young people are blue. sent19: If someone is nice and rough then they are big. sent20: All round, nice people are big. sent21: All rough, big people are round. sent22: If someone is young then they are rough. sent23: All round people are nice.
translation.ro: $answer$ = False ; $proof$ = # sent21%int1 & # sent22%int2 # sent15%int3 & # sent17%int4 sent10 sent9 sent9 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.