translation.en: $answer$ ; $proof$ ; $question$ = Erin is blue. ; $context$ = sent1: Bob is blue. sent2: Bob is furry. sent3: Dave is white. sent4: Erin is green. sent5: Erin is white. sent6: Gary is green. sent7: Gary is red. sent8: If Erin is furry and Erin is blue then Erin is big. sent9: Red things are round. sent10: If something is blue and big then it is white. sent11: Red, furry things are white. sent12: If something is round then it is furry. sent13: If something is furry and green then it is blue. sent14: Blue, white things are furry. sent15: If something is green then it is red.
translation.ro: $answer$ = True ; $proof$ = # sent13%int1 & # sent12%int2 # sent9%int3 # sent15%int4 sent4 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.