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