translation.en: $answer$ ; $proof$ ; $question$ = Harry is not smart. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Anne is rough. sent4: Anne is smart. sent5: Dave is big. sent6: Dave is cold. sent7: Dave is rough. sent8: Dave is round. sent9: Gary is round. sent10: Harry is quiet. sent11: Harry is white. sent12: All white, big people are rough. sent13: If Dave is quiet then Dave is round. sent14: If someone is white then they are cold. sent15: If someone is big then they are cold. sent16: If someone is cold then they are big. sent17: All cold people are big. sent18: If someone is round and white then they are smart. sent19: All rough people are round.
translation.ro: $answer$ = False ; $proof$ = # sent18%int1 & # sent19%int2 # sent12%int3 & sent11 # sent16%int4 # sent14%int5 sent11 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.