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