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