translation.en: $answer$ ; $proof$ ; $question$ = Harry is not cold. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Bob is kind. sent4: Bob is quiet. sent5: Charlie is blue. sent6: Erin is big. sent7: Erin is cold. sent8: Erin is kind. sent9: Harry is big. sent10: Harry is blue. sent11: Harry is kind. sent12: Harry is nice. sent13: Harry is quiet. sent14: Harry is smart. sent15: Blue, quiet things are smart. sent16: All big, blue things are nice. sent17: Kind things are big. sent18: All cold things are big. sent19: If Bob is blue and Bob is smart then Bob is big. sent20: All quiet things are smart. sent21: All smart things are kind. sent22: All blue things are cold. sent23: If something is blue and big then it is quiet.
translation.ro: $answer$ = False ; $proof$ = # sent22%int1 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.