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