translation.en: $answer$ ; $proof$ ; $question$ = Fiona is not rough. ; $context$ = sent1: Anne is blue. sent2: Anne is cold. sent3: Anne is smart. sent4: Bob is big. sent5: Bob is blue. sent6: Bob is quiet. sent7: Bob is round. sent8: Fiona is big. sent9: Fiona is cold. sent10: Gary is cold. sent11: Gary is rough. sent12: Gary is smart. sent13: If Bob is cold then Bob is smart. sent14: All quiet people are smart. sent15: All cold people are rough. sent16: Rough people are quiet. sent17: All big, round people are blue. sent18: If Anne is not quiet then Anne is blue. sent19: All smart, cold people are round. sent20: If someone is blue then they are round. sent21: If someone is blue then they are round.
translation.ro: $answer$ = False ; $proof$ = # sent15%int1 sent9 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.