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