translation.en: $answer$ ; $proof$ ; $question$ = Anne is not quiet. ; $context$ = sent1: Anne is green. sent2: Charlie is big. sent3: Charlie is quiet. sent4: Charlie is round. sent5: Erin is green. sent6: Erin is kind. sent7: Erin is nice. sent8: Erin is quiet. sent9: Fiona is blue. sent10: Fiona is kind. sent11: Fiona is quiet. sent12: If something is kind then it is nice. sent13: If something is round and quiet then it is blue. sent14: If Charlie is kind then Charlie is big. sent15: All big, blue things are kind. sent16: Nice things are quiet. sent17: All green things are big. sent18: Quiet things are kind. sent19: Big things are kind. sent20: If Anne is green then Anne is round.
translation.ro: $answer$ = False ; $proof$ = # sent16%int1 # sent12%int2 # sent19%int3 # sent17%int4 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.