translation.en: $answer$ ; $proof$ ; $question$ = Charlie is green. ; $context$ = sent1: Bob is blue. sent2: Bob is nice. sent3: Bob is rough. sent4: Bob is smart. sent5: Charlie is blue. sent6: Charlie is nice. sent7: Charlie is smart. sent8: Dave is nice. sent9: Erin is furry. sent10: Erin is smart. sent11: If something is furry then it is blue. sent12: Cold things are nice. sent13: All rough, cold things are green. sent14: All nice things are rough. sent15: All furry, green things are rough. sent16: Blue things are cold. sent17: If Charlie is furry and Charlie is blue then Charlie is cold. sent18: If something is nice and blue then it is furry. sent19: If Erin is not green then Erin is smart.
translation.ro: $answer$ = True ; $proof$ = # sent13%int1 & # sent14%int3 sent6 # sent16%int2 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.