translation.en: $answer$ ; $proof$ ; $question$ = Harry is red. ; $context$ = sent1: Bob is furry. sent2: Bob is red. sent3: Bob is rough. sent4: Dave is big. sent5: Dave is furry. sent6: Dave is green. sent7: Dave is red. sent8: Dave is rough. sent9: Dave is round. sent10: Fiona is rough. sent11: Harry is rough. sent12: Round, red things are furry. sent13: If Bob is not rough then Bob is round. sent14: All rough things are red. sent15: Red, rough things are round. sent16: Furry, red things are quiet. sent17: If something is furry and big then it is green. sent18: All rough, quiet things are big. sent19: If something is rough and not quiet then it is big. sent20: All green, red things are big.
translation.ro: $answer$ = True ; $proof$ = # sent14%int1 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.