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