translation.en: $answer$ ; $proof$ ; $question$ = Anne is not cold. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Anne is white. sent4: Bob is blue. sent5: Bob is cold. sent6: Bob is nice. sent7: Bob is white. sent8: Charlie is white. sent9: Erin is cold. sent10: Erin is nice. sent11: Erin is white. sent12: If Charlie is big and Charlie is cold then Charlie is white. sent13: All rough people are cold. sent14: If someone is cold and not nice then they are furry. sent15: If someone is white then they are blue. sent16: All big people are rough. sent17: If someone is cold and blue then they are rough. sent18: White, nice people are rough. sent19: Blue people are big. sent20: All blue people are big.
translation.ro: $answer$ = False ; $proof$ = # sent13%int1 # sent16%int2 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.