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