translation.en: $answer$ ; $proof$ ; $question$ = Dave is green. ; $context$ = sent1: Bob is big. sent2: Bob is green. sent3: Dave is kind. sent4: Dave is white. sent5: Erin is green. sent6: Erin is kind. sent7: Erin is smart. sent8: Fiona is big. sent9: Fiona is blue. sent10: Fiona is furry. sent11: White, blue things are furry. sent12: All big, white things are smart. sent13: Furry things are green. sent14: Kind things are blue. sent15: All green things are furry. sent16: Green things are big.
translation.ro: $answer$ = True ; $proof$ = # sent13%int1 # sent11%int2 & sent4 # sent14%int3 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.