translation.en: $answer$ ; $proof$ ; $question$ = Erin is not blue. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Charlie is white. sent4: Dave is big. sent5: Dave is white. sent6: Dave is young. sent7: Erin is big. sent8: Young people are kind. sent9: If someone is blue then they are quiet. sent10: Quiet people are young. sent11: If someone is big and young then they are blue. sent12: Big people are blue. sent13: If someone is quiet then they are big. sent14: Young, kind people are furry. sent15: If Anne is quiet and Anne is not blue then Anne is furry.
translation.ro: $answer$ = False ; $proof$ = # sent12%int1 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.