translation.en: $answer$ ; $proof$ ; $question$ = Charlie is quiet. ; $context$ = sent1: Anne is red. sent2: Bob is big. sent3: Bob is green. sent4: Bob is red. sent5: Charlie is furry. sent6: Dave is big. sent7: Dave is blue. sent8: If something is big then it is smart. sent9: If something is blue then it is green. sent10: All furry things are big. sent11: Smart things are blue. sent12: If something is green then it is furry. sent13: Green things are smart. sent14: All green things are quiet.
translation.ro: $answer$ = True ; $proof$ = # sent14%int1 # sent9%int2 # sent11%int3 # sent8%int4 # sent10%int5 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.