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