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