translation.en: $answer$ ; $proof$ ; $question$ = Bob is not kind. ; $context$ = sent1: Anne is cold. sent2: Anne is smart. sent3: Bob is big. sent4: Bob is rough. sent5: Erin is big. sent6: Erin is cold. sent7: Erin is kind. sent8: Erin is rough. sent9: Erin is smart. sent10: Erin is white. sent11: Erin is young. sent12: Harry is cold. sent13: Harry is kind. sent14: Harry is rough. sent15: Smart things are cold. sent16: If Erin is kind then Erin is young. sent17: White things are kind. sent18: If something is rough and kind then it is smart. sent19: If Anne is smart then Anne is white. sent20: All smart, cold things are kind. sent21: Big, cold things are young. sent22: If Bob is rough then Bob is white.
translation.ro: $answer$ = False ; $proof$ = # sent17%int1 # sent22%int2 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.