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