translation.en: $answer$ ; $proof$ ; $question$ = Bob is not cold. ; $context$ = sent1: Bob is cold. sent2: Erin is big. sent3: Erin is blue. sent4: Erin is cold. sent5: Erin is kind. sent6: Erin is smart. sent7: Fiona is rough. sent8: Gary is rough. sent9: Gary is smart. sent10: Gary is white. sent11: If Fiona is big and Fiona is blue then Fiona is kind. sent12: Cold people are big. sent13: White people are blue. sent14: If someone is big and blue then they are smart. sent15: If someone is kind then they are smart. sent16: If someone is big and cold then they are white. sent17: If someone is big and smart then they are white. sent18: Smart people are kind. sent19: If Fiona is smart and Fiona is big then Fiona is rough.
translation.ro: $answer$ = False ; $proof$ = sent1