translation.en: $answer$ ; $proof$ ; $question$ = Bob is smart. ; $context$ = sent1: Bob is kind. sent2: Charlie is cold. sent3: Charlie is kind. sent4: Charlie is nice. sent5: Charlie is quiet. sent6: Charlie is smart. sent7: Fiona is quiet. sent8: Fiona is smart. sent9: Gary is nice. sent10: Gary is quiet. sent11: Gary is white. sent12: If Fiona is cold then Fiona is nice. sent13: All nice things are white. sent14: If something is white then it is nice. sent15: Nice, white things are quiet. sent16: White, smart things are rough. sent17: Smart, kind things are rough. sent18: All cold things are white. sent19: If Bob is kind then Bob is white. sent20: Quiet, kind things are smart.
translation.ro: $answer$ = True ; $proof$ = # sent20%int1 & # sent15%int2 & # sent14%int3 # sent19%int4 sent1 # sent19%int4 sent1 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.