translation.en: $answer$ ; $proof$ ; $question$ = Anne is not rough. ; $context$ = sent1: Anne is round. sent2: Bob is blue. sent3: Bob is kind. sent4: Bob is red. sent5: Dave is big. sent6: Dave is kind. sent7: Dave is smart. sent8: Fiona is big. sent9: Fiona is red. sent10: Fiona is rough. sent11: Fiona is round. sent12: If Bob is round and Bob is red then Bob is rough. sent13: Big people are kind. sent14: All blue people are big. sent15: All round people are blue. sent16: All smart, red people are kind. sent17: All kind people are rough. sent18: All rough, big people are smart. sent19: Round, smart people are blue. sent20: If Fiona is smart and Fiona is red then Fiona is big.
translation.ro: $answer$ = False ; $proof$ = # sent17%int1 # sent13%int2 # sent14%int3 # sent15%int4 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.