translation.en: $answer$ ; $proof$ ; $question$ = Harry is not green. ; $context$ = sent1: Dave is kind. sent2: Dave is rough. sent3: Erin is kind. sent4: Erin is white. sent5: Fiona is cold. sent6: Fiona is green. sent7: Fiona is kind. sent8: Fiona is rough. sent9: Harry is kind. sent10: Harry is red. sent11: All rough people are red. sent12: If someone is kind then they are red. sent13: Red, cold people are white. sent14: Cold, green people are white. sent15: Red people are cold. sent16: If someone is white and red then they are young. sent17: If Dave is green and Dave is white then Dave is kind. sent18: Young people are green.
translation.ro: $answer$ = False ; $proof$ = # sent18%int1 # sent16%int2 & # sent13%int3 & sent10 # sent15%int4 sent10 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.