translation.en: $answer$ ; $proof$ ; $question$ = Harry is furry. ; $context$ = sent1: Dave is rough. sent2: Erin is cold. sent3: Gary is furry. sent4: Gary is rough. sent5: Harry is cold. sent6: Harry is furry. sent7: Harry is white. sent8: If someone is cold then they are quiet. sent9: Cold, rough people are furry. sent10: If Erin is quiet then Erin is rough. sent11: If someone is big and not furry then they are white. sent12: All green, big people are white. sent13: All furry people are big. sent14: If someone is white and green then they are big. sent15: All big people are green.
translation.ro: $answer$ = True ; $proof$ = sent6