translation.en: $answer$ ; $proof$ ; $question$ = Gary is not quiet. ; $context$ = sent1: Bob is cold. sent2: Bob is nice. sent3: Bob is quiet. sent4: Bob is smart. sent5: Bob is young. sent6: Charlie is blue. sent7: Charlie is cold. sent8: Charlie is nice. sent9: Charlie is rough. sent10: Gary is blue. sent11: Gary is cold. sent12: Gary is rough. sent13: Gary is smart. sent14: Gary is young. sent15: Harry is blue. sent16: Harry is young. sent17: All young people are cold. sent18: Rough, quiet people are smart. sent19: If Bob is cold and Bob is smart then Bob is blue. sent20: If someone is nice then they are rough. sent21: If Harry is rough and Harry is blue then Harry is quiet. sent22: All smart people are quiet. sent23: Young, cold people are quiet. sent24: If someone is quiet then they are nice.
translation.ro: $answer$ = False ; $proof$ = # sent22%int1 sent13 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.