translation.en: $answer$ ; $proof$ ; $question$ = Bob is not rough. ; $context$ = sent1: Bob is blue. sent2: Dave is green. sent3: Dave is rough. sent4: Fiona is green. sent5: Fiona is white. sent6: Gary is green. sent7: Gary is white. sent8: Young, round people are furry. sent9: All green, young people are furry. sent10: If Bob is blue and Bob is white then Bob is young. sent11: If Fiona is green then Fiona is rough. sent12: Young, blue people are green. sent13: If someone is blue then they are white. sent14: Furry people are rough.
translation.ro: $answer$ = False ; $proof$ = # sent14%int1 # sent9%int2 & # sent12%int3 & # sent10%int4 & sent1 # sent13%int5 sent1 sent1 # sent10%int4 & sent1 # sent13%int5 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.