translation.en: $answer$ ; $proof$ ; $question$ = Harry is furry. ; $context$ = sent1: Anne is quiet. sent2: Anne is rough. sent3: Erin is nice. sent4: Erin is rough. sent5: Erin is round. sent6: Fiona is big. sent7: Fiona is furry. sent8: Fiona is nice. sent9: Fiona is quiet. sent10: Fiona is red. sent11: Fiona is rough. sent12: Fiona is round. sent13: Harry is red. sent14: Harry is rough. sent15: All nice, big people are quiet. sent16: Quiet people are round. sent17: Rough, big people are furry. sent18: Big people are rough. sent19: If someone is furry then they are nice. sent20: If someone is rough then they are big. sent21: If Harry is round then Harry is big.
translation.ro: $answer$ = True ; $proof$ = # sent17%int1 & sent14 # sent20%int2 sent14 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.