translation.en: $answer$ ; $proof$ ; $question$ = Erin is not kind. ; $context$ = sent1: Anne is blue. sent2: Anne is kind. sent3: Anne is quiet. sent4: Bob is quiet. sent5: Bob is red. sent6: Dave is kind. sent7: Dave is quiet. sent8: Dave is red. sent9: Dave is young. sent10: Erin is blue. sent11: Erin is quiet. sent12: Green things are red. sent13: If something is smart then it is young. sent14: If something is kind then it is young. sent15: If something is green and smart then it is young. sent16: If something is blue then it is smart. sent17: All blue things are smart. sent18: Red things are kind. sent19: If Erin is young then Erin is green. sent20: Young things are quiet.
translation.ro: $answer$ = False ; $proof$ = # sent18%int1 # sent12%int2 # sent19%int3 # sent13%int4 # sent16%int5 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.