translation.en: $answer$ ; $proof$ ; $question$ = Harry is not red. ; $context$ = sent1: Anne is blue. sent2: Anne is rough. sent3: Anne is white. sent4: Charlie is quiet. sent5: Charlie is red. sent6: Charlie is rough. sent7: Charlie is white. sent8: Dave is furry. sent9: Dave is quiet. sent10: Dave is red. sent11: Dave is rough. sent12: Dave is white. sent13: Harry is furry. sent14: Harry is nice. sent15: All furry things are quiet. sent16: If Harry is quiet and Harry is not nice then Harry is red. sent17: If Harry is quiet then Harry is white. sent18: If something is blue then it is rough. sent19: Rough things are red. sent20: All rough, white things are red. sent21: All nice, white things are blue. sent22: If something is furry and not white then it is blue.
translation.ro: $answer$ = False ; $proof$ = # sent19%int1 # sent18%int2 # sent21%int3 & sent14 # sent17%int4 # sent15%int5 sent13 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.