translation.en: $answer$ ; $proof$ ; $question$ = Bob is not rough. ; $context$ = sent1: Bob is rough. sent2: Bob is white. sent3: Charlie is smart. sent4: Dave is smart. sent5: Fiona is big. sent6: Fiona is smart. sent7: Fiona is white. sent8: If Dave is white then Dave is quiet. sent9: All red things are white. sent10: If something is big and white then it is furry. sent11: If something is smart then it is red. sent12: Rough, smart things are red. sent13: If something is red and white then it is rough. sent14: Rough things are big. sent15: If something is furry and rough then it is smart. sent16: If Charlie is white and Charlie is not rough then Charlie is quiet.
translation.ro: $answer$ = False ; $proof$ = sent1