translation.en: $answer$ ; $proof$ ; $question$ = Erin is not kind. ; $context$ = sent1: Bob is blue. sent2: Bob is white. sent3: Erin is blue. sent4: Gary is nice. sent5: Harry is blue. sent6: Harry is kind. sent7: Harry is nice. sent8: Harry is red. sent9: Harry is round. sent10: Harry is white. sent11: If Erin is kind then Erin is red. sent12: Kind people are red. sent13: If someone is kind and blue then they are red. sent14: If Bob is round then Bob is white. sent15: If Bob is round then Bob is white. sent16: If someone is blue and nice then they are green. sent17: If someone is blue and white then they are nice. sent18: Blue people are kind. sent19: If Erin is red then Erin is white.
translation.ro: $answer$ = False ; $proof$ = # sent18%int1 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.