translation.en: $answer$ ; $proof$ ; $question$ = Bob is not rough. ; $context$ = sent1: Bob is red. sent2: Bob is smart. sent3: Dave is cold. sent4: Dave is rough. sent5: Dave is round. sent6: Erin is cold. sent7: Erin is furry. sent8: Erin is red. sent9: Erin is rough. sent10: Erin is round. sent11: Erin is smart. sent12: Fiona is green. sent13: Fiona is round. sent14: Fiona is smart. sent15: All rough things are cold. sent16: Smart things are rough. sent17: Round things are rough. sent18: All cold things are furry. sent19: Cold, furry things are green. sent20: All furry, cold things are green. sent21: If something is furry then it is smart. sent22: All smart, green things are round.
translation.ro: $answer$ = False ; $proof$ = # sent16%int1 sent2 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.