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