translation.en: $answer$ ; $proof$ ; $question$ = Anne is young. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Bob is blue. sent4: Bob is green. sent5: Bob is young. sent6: Charlie is furry. sent7: Charlie is green. sent8: Charlie is red. sent9: Gary is furry. sent10: Gary is green. sent11: Gary is young. sent12: Furry, green things are blue. sent13: All big things are green. sent14: Red, furry things are blue. sent15: All big, blue things are nice. sent16: If Bob is nice and Bob is big then Bob is red. sent17: If Gary is furry then Gary is blue. sent18: All nice, big things are young. sent19: All nice things are young. sent20: Blue, young things are red.
translation.ro: $answer$ = True ; $proof$ = # sent19%int1 # sent15%int2 & sent1 # sent12%int3 & sent2 # sent13%int4 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.