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