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