translation.en: $answer$ ; $proof$ ; $question$ = Bob is not quiet. ; $context$ = sent1: Anne is quiet. sent2: Anne is round. sent3: Bob is rough. sent4: Charlie is nice. sent5: Charlie is quiet. sent6: Charlie is round. sent7: Charlie is smart. sent8: Charlie is young. sent9: Fiona is nice. sent10: Fiona is quiet. sent11: Fiona is rough. sent12: Fiona is smart. sent13: If Fiona is nice and Fiona is smart then Fiona is young. sent14: Rough people are nice. sent15: If someone is nice then they are young. sent16: If someone is young and not nice then they are furry. sent17: If Charlie is young and Charlie is furry then Charlie is smart. sent18: If Charlie is quiet then Charlie is round. sent19: If someone is young and not furry then they are round. sent20: All smart, young people are quiet. sent21: If Bob is round and Bob is rough then Bob is smart.
translation.ro: $answer$ = False ; $proof$ = # sent20%int1 & # sent21%int2 & # sent19%int3 & # sent15%int4 # sent14%int5 sent3 naf1 sent3 # sent15%int4 # sent14%int5 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.