translation.en: $answer$ ; $proof$ ; $question$ = Dave is not smart. ; $context$ = sent1: Bob is cold. sent2: Bob is quiet. sent3: Bob is red. sent4: Bob is smart. sent5: Charlie is kind. sent6: Charlie is quiet. sent7: Charlie is red. sent8: Charlie is rough. sent9: Dave is cold. sent10: Dave is kind. sent11: Dave is smart. sent12: Fiona is quiet. sent13: If something is quiet and cold then it is smart. sent14: Red, cold things are round. sent15: If something is kind and rough then it is red. sent16: All quiet things are rough. sent17: Cold, smart things are red. sent18: If something is rough then it is cold. sent19: All red things are rough. sent20: If Dave is smart and Dave is kind then Dave is quiet.
translation.ro: $answer$ = False ; $proof$ = sent11