translation.en: $answer$ ; $proof$ ; $question$ = Harry is not nice. ; $context$ = sent1: Dave is big. sent2: Erin is blue. sent3: Erin is cold. sent4: Erin is kind. sent5: Erin is nice. sent6: Gary is big. sent7: Harry is big. sent8: All cold, blue things are nice. sent9: Round things are nice. sent10: Cold, nice things are kind. sent11: All cold, furry things are kind. sent12: Furry things are kind. sent13: Nice things are kind. sent14: If Harry is kind and Harry is not round then Harry is furry. sent15: If something is big then it is blue. sent16: If something is blue then it is cold.
translation.ro: $answer$ = False ; $proof$ = # sent8%int1 & # sent16%int2 # sent15%int3 sent7 # sent15%int3 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.