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