translation.en: $answer$ ; $proof$ ; $question$ = Harry is rough. ; $context$ = sent1: Bob is big. sent2: Bob is red. sent3: Bob is rough. sent4: Bob is smart. sent5: Charlie is blue. sent6: Erin is blue. sent7: Harry is red. sent8: If someone is red then they are round. sent9: If someone is round then they are green. sent10: If Charlie is round then Charlie is green. sent11: If someone is round and green then they are smart. sent12: If Harry is blue and Harry is not round then Harry is smart. sent13: If someone is rough then they are big. sent14: If someone is smart then they are blue. sent15: If someone is green and smart then they are rough.
translation.ro: $answer$ = True ; $proof$ = # sent15%int1 & # sent9%int3 # sent8%int4 sent7 # sent11%int2 & # sent8%int4 sent7 # sent9%int3 # sent8%int4 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.