translation.en: $answer$ ; $proof$ ; $question$ = Dave is not quiet. ; $context$ = sent1: Dave is rough. sent2: Erin is quiet. sent3: Erin is rough. sent4: Gary is furry. sent5: Gary is smart. sent6: Harry is big. sent7: Harry is young. sent8: Smart, quiet people are furry. sent9: If someone is rough then they are quiet. sent10: All round people are smart. sent11: Furry people are young. sent12: If someone is rough and smart then they are furry. sent13: Furry people are rough. sent14: If someone is quiet and young then they are smart. sent15: If someone is furry then they are round. sent16: All big people are rough.
translation.ro: $answer$ = False ; $proof$ = # sent9%int1 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.