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