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