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