translation.en: $answer$ ; $proof$ ; $question$ = Dave is not cold. ; $context$ = sent1: Bob is big. sent2: Bob is cold. sent3: Bob is furry. sent4: Bob is quiet. sent5: Bob is white. sent6: Bob is young. sent7: Dave is cold. sent8: Dave is young. sent9: Fiona is big. sent10: Fiona is cold. sent11: Fiona is white. sent12: Fiona is young. sent13: Harry is big. sent14: Harry is green. sent15: Harry is quiet. sent16: Harry is young. sent17: All cold, big people are young. sent18: If someone is green and white then they are big. sent19: If someone is big and green then they are furry. sent20: Big, furry people are green. sent21: If someone is cold then they are green. sent22: If Dave is furry and Dave is green then Dave is quiet. sent23: If someone is quiet and green then they are white. sent24: Green, young people are white.
translation.ro: $answer$ = False ; $proof$ = sent7