translation.en: $answer$ ; $proof$ ; $question$ = Anne is quiet. ; $context$ = sent1: Anne is cold. sent2: Anne is green. sent3: Anne is rough. sent4: Charlie is kind. sent5: Dave is cold. sent6: Dave is furry. sent7: Dave is kind. sent8: Dave is quiet. sent9: Dave is red. sent10: Erin is kind. sent11: Erin is quiet. sent12: Erin is red. sent13: Furry, rough people are green. sent14: Red people are furry. sent15: All green people are kind. sent16: Kind people are quiet. sent17: If someone is cold then they are rough. sent18: All furry, rough people are cold. sent19: All quiet people are red. sent20: All red, quiet people are cold. sent21: If Anne is kind then Anne is furry.
translation.ro: $answer$ = True ; $proof$ = # sent16%int1 # sent15%int2 sent2 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.