translation.en: $answer$ ; $proof$ ; $question$ = Harry is rough. ; $context$ = sent1: Anne is nice. sent2: Charlie is nice. sent3: Charlie is quiet. sent4: Charlie is rough. sent5: Fiona is big. sent6: Fiona is quiet. sent7: Fiona is rough. sent8: Fiona is white. sent9: Harry is cold. sent10: Harry is nice. sent11: Harry is quiet. sent12: Harry is white. sent13: If Anne is quiet and Anne is cold then Anne is green. sent14: All rough people are white. sent15: If Fiona is rough then Fiona is big. sent16: If someone is nice then they are rough. sent17: All big people are rough. sent18: All cold, rough people are quiet. sent19: If someone is nice then they are big. sent20: If someone is cold then they are big. sent21: If someone is big and white then they are cold.
translation.ro: $answer$ = True ; $proof$ = # sent16%int1 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.